Lists (2)
Starred repositories
Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full formal verification practical. Vires in Numeris.
A thread-per-core Rust runtime with IOCP/io_uring/polling.
The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ethereum ecosystem fast, unified, and diverse. Developer→User→Pro…
Commonware Library Primitives and Examples
The first game written and played entirely in Rust's type system. Not only do you play by writing Rust code, but the rules of the game are enforced by the Rust compiler. If you can write the progra…
A Rust crate providing type-safe abstractions for interacting with AnkiConnect, enabling programmatic control of Anki flashcard software.
Rust Performance Profiler & Channels Monitoring Toolkit (TUI, MCP)
High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.
A book about category theory
A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection
A library for functional programming in Rust
Empowering everyone to build reliable and efficient software.
Adds all vim moves and modes to macOS text fields
A kurtosis package for deploying an optimistic rollup
A catalogue of Rust design patterns, anti-patterns and idioms
Command-line sampling profiler for macOS, Linux, and Windows
A study group learning about Ethereum and building protocol wiki
Experiments in visualizing Ethereum network upgrades
Incomplete Redis client and server implementation using Tokio - for learning purposes only
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
An open repository of EVM-compatible wallets.
A free book about developing secure and robust systems software.