Deterministic state machine engine written in Rust

A very fast linker for Linux

Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C

CLI for managing Ethereum blind gas tickets on client side

The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)

Quick Merkle Database

Flexible BFT consensus engine in Rust

Api for fetching node operators keys from modules

ream: an Ethereum Beam client written in Rust

Numerical optimization solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust

a fairly dumb builder

Super-fast Merklized Embedded Key-Value Store for blockchain nodes

prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients. Powered by Celestia.

Universal Registry Contract

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

Yet another tool for working with stacked pull requests

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.

A proof of concept of an interactive VDF-based proof of latency between two participants

Procedural macro for automatically implementing metrics description and initialization.

Commonware Library Primitives and Examples

Caching sparse Merkle Patricia Trie for reth.

Ethereum Distributed Validator Specifications

Sidecar to Enable Rollup Extensions

🐏 rpmalloc global memory allocator for Rust 🦀

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.