-
-
rust-libp2p Public
Forked from libp2p/rust-libp2pThe Rust Implementation of libp2p networking stack.
-
-
-
-
-
dapptools-rs Public
Forked from foundry-rs/foundryA drop-in replacement for `dapp` and `seth` in Rust
Rust Apache License 2.0 UpdatedOct 29, 2023 -
simple_dao Public
Forked from cburgdorf/simple_daoDead simple DAO written in Fe
Solidity UpdatedJul 11, 2023 -
evm-semantics Public
Forked from runtimeverification/evm-semanticsK Semantics of the Ethereum Virtual Machine (EVM)
Python BSD 3-Clause "New" or "Revised" License UpdatedJun 22, 2023 -
yools Public
Forked from leonardoalt/yoolsTools for Yul.
SMT GNU General Public License v3.0 UpdatedMar 29, 2023 -
revm Public
Forked from bluealloy/revmRevolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Rust MIT License UpdatedMar 6, 2023 -
-
solc-rust Public
Forked from axic/solc-rustRust bindings for the Solidity compiler.
-
bountiful Public
Forked from fe-lang/bountifulGet paid to break things
-
lighthouse Public
Forked from sigp/lighthouseEthereum 2.0 Client
Rust Apache License 2.0 UpdatedOct 4, 2021 -
algebraic-structures Public
Experimental system for creating and verifying algebraic structures.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 4, 2021 -
evm Public
Forked from rust-ethereum/evmPure Rust implementation of Ethereum Virtual Machine
Rust Apache License 2.0 UpdatedOct 4, 2021 -
yultsur Public
Forked from axic/yultsurYultsur is a Rust implementation of Yul.
-
phrase Public archive
Decentralized content registry with a novel funding scheme.
-
music-training Public
Music training software for electronic keyboards.
-
web3.py Public
Forked from ethereum/web3.pyA python interface for interacting with the Ethereum blockchain and ecosystem.
Python MIT License UpdatedOct 14, 2020 -
solidity Public
Forked from ethereum/soliditySolidity, the Contract-Oriented Programming Language
C++ GNU General Public License v3.0 UpdatedSep 15, 2020 -
rusty-rlp Public
Forked from cburgdorf/rusty-rlpPython bindings for rust rlp
Rust MIT License UpdatedSep 9, 2020 -
coq-vyper Public
Forked from formalize/coq-vyperA Vyper compiler in Coq (just started)
Coq Apache License 2.0 UpdatedSep 1, 2020 -
py-libp2p Public
Forked from libp2p/py-libp2pThe Python implementation of the libp2p networking stack 🐍 [under development]
Python MIT License UpdatedAug 25, 2020 -
trinity Public
Forked from ethereum/trinityThe Trinity client for the Ethereum network
Python MIT License UpdatedAug 20, 2020 -
-
wasm-chisel Public
Forked from wasmx/wasm-chiselSome useful utilities to transform WebAssembly binaries.
Rust Apache License 2.0 UpdatedJul 25, 2020 -
parity-wasm Public
Forked from paritytech/parity-wasmWebAssembly serialization/deserialization in rust
Rust Apache License 2.0 UpdatedMay 17, 2020 -
ewasm-precompiles Public
Forked from ewasm/ewasm-precompilesImplementation of the Ethereum precompiled contracts in Rust.
Rust Apache License 2.0 UpdatedMay 16, 2020