Grant Wuerker's repositories
music-training
Music training software for electronic keyboards.
rust-libp2p
The Rust Implementation of libp2p networking stack.
algebraic-structures
Experimental system for creating and verifying algebraic structures.
coq-vyper
A Vyper compiler in Coq (just started)
dapptools-rs
A drop-in replacement for `dapp` and `seth` in Rust
evm
Pure Rust implementation of Ethereum Virtual Machine
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
ewasm-precompiles
Implementation of the Ethereum precompiled contracts in Rust.
fe
An implementation of the Vyper smart contract language in Rust.
lighthouse
Ethereum 2.0 Client
parity-wasm
WebAssembly serialization/deserialization in rust
py-libp2p
The Python implementation of the libp2p networking stack 🐍 [under development]
revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
rusty-rlp
Python bindings for rust rlp
simple_dao
Dead simple DAO written in Fe
solidity
Solidity, the Contract-Oriented Programming Language
trinity
The Trinity client for the Ethereum network
wasm-chisel
Some useful utilities to transform WebAssembly binaries.
web3.py
A python interface for interacting with the Ethereum blockchain and ecosystem.
yools
Tools for Yul.