Repos
66
Stars
232
Forks
29
Top Language
Rust
Loading contributions...
Top Repositories
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
A lightweight, performant microkernel for TCP peer-to-peer (P2P) networking. Handles connection pooling and framing, leaving the logic to you.
Binary lambda calculus
A simple, low-level, and customizable implementation of a QUIC P2P node.
A single-coordinate concentric 2D hex grid.
Repositories
66A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
A lightweight, performant microkernel for TCP peer-to-peer (P2P) networking. Handles connection pooling and framing, leaving the logic to you.
No description provided.
Automated lock accounting & profiling
A concise, no-nonsense code of conduct for maintainers who prioritize code over community. Establishes a strict productivity-first environment.
A simple, low-level, and customizable implementation of a QUIC P2P node.
No description provided.
Binary lambda calculus
No description provided.
A lightweight toolkit for analysing p2p network topologies.
A fast, low-overhead WebSocket client
A broadcast protocol implementation based on Kadcast.
A single-coordinate concentric 2D hex grid.
Async-friendly QUIC implementation in Rust
A Vec optimized for storing a single item
A Distributed Virtual Machine for Zero-Knowledge Executions
A Decentralized Operating System for Private Applications
No description provided.
A Polkadot.js API + React based template for building Substrate Front Ends
No description provided.
Rust allocator using jemalloc as a backend
Narwhal + Bullshark BFT
No description provided.
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A one-macro crate to ensure assertions meet their deadlines.
Programming assignments for candidates
No description provided.
Datalog compiler embedded in Rust as a procedural macro
Rust library to create a Good Game Easily
The Zcash Network Stability Framework