ljedrz

lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

pea2pea

A simple, low-level, and customizable implementation of a TCP P2P node.

quickie

A simple, low-level, and customizable implementation of a QUIC P2P node.

snarkos_network_testing

hex-spiral

A single-coordinate concentric 2D hex grid.

locktick

Automated lock accounting & profiling

NAC

Not A Community: a code of conduct aiming to avoid community issues by minimizing the community aspect itself.

system_alloc_stats

aleo

A Software Development Kit (SDK) for Zero-Knowledge Transactions

aleo-std

atomic-instant

Atomic wrapper for quanta::Instant

bullshark-bft

Narwhal + Bullshark BFT

crepe

Datalog compiler embedded in Rust as a procedural macro

deadline

A one-macro crate to ensure assertions meet their deadlines.

enum_index

Simple trait to extract variant index from enum

ggez

Rust library to create a Good Game Easily

jemallocator

Rust allocator using jemalloc as a backend

kadmium

A broadcast protocol implementation based on Kadcast.

leo

The Leo Programming Language - A functional, statically-typed language for zero-knowledge applications

quanta

high-speed timing library in Rust

quinn

Async-friendly QUIC implementation in Rust

recruitment-exercises

Programming assignments for candidates

rust-websocket-lite

A fast, low-overhead WebSocket client

snarkOS

A Decentralized Operating System for Private Applications

snarkos2_network_testing

snarkVM

A Distributed Virtual Machine for Zero-Knowledge Executions

spectre

A lightweight toolkit for analysing p2p network topologies.

tui-rs

Build terminal user interfaces and dashboards using Rust

unsigned-varint

ziggurat

The Zcash Network Stability Framework