Moozonian
Web Images Developer News Books Maps Shopping Moo-AI
Showing results for Execution
GitHub Repo https://github.com/bemanproject/execution

bemanproject/execution

Implementation of the std::execution (P2300, sender/receiver) proposal
GitHub Repo https://github.com/golang/glog

golang/glog

Leveled execution logs for Go
GitHub Repo https://github.com/fabric/fabric

fabric/fabric

Simple, Pythonic remote execution and deployment.
GitHub Repo https://github.com/trailofbits/manticore

trailofbits/manticore

Symbolic execution tool
GitHub Repo https://github.com/ethereum/execution-specs

ethereum/execution-specs

Specification for the Execution Layer. Tracking network upgrades.
GitHub Repo https://github.com/klee/klee

klee/klee

KLEE Symbolic Execution Engine
GitHub Repo https://github.com/ksluckow/awesome-symbolic-execution

ksluckow/awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
GitHub Repo https://github.com/Pennyw0rth/NetExec

Pennyw0rth/NetExec

The Network Execution Tool
GitHub Repo https://github.com/sindresorhus/execa

sindresorhus/execa

Process execution for humans
GitHub Repo https://github.com/ethereum/execution-apis

ethereum/execution-apis

Collection of APIs provided by Ethereum execution layer clients