Pinned Repositories
snarkOS
A Decentralized Operating System for ZK Applications
snarkVM
A Virtual Machine for Zero-Knowledge Executions
afl_program_tools
blc
Binary lambda calculus
hilbert_curve
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
system_alloc_stats
ljedrz's Repositories
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
ljedrz/pea2pea
A simple, low-level, and customizable implementation of a TCP P2P node.
ljedrz/quickie
A simple, low-level, and customizable implementation of a QUIC P2P node.
ljedrz/afl_program_tools
ljedrz/hex-spiral
A single-coordinate concentric 2D hex grid.
ljedrz/locktick
Automated lock accounting & profiling
ljedrz/NAC
Not A Community: a code of conduct aiming to avoid community issues by minimizing the community aspect itself.
ljedrz/system_alloc_stats
ljedrz/aleo
A Software Development Kit (SDK) for Zero-Knowledge Transactions
ljedrz/aleo-std
ljedrz/atomic-instant
Atomic wrapper for quanta::Instant
ljedrz/bullshark-bft
Narwhal + Bullshark BFT
ljedrz/crepe
Datalog compiler embedded in Rust as a procedural macro
ljedrz/deadline
A one-macro crate to ensure assertions meet their deadlines.
ljedrz/enum_index
Simple trait to extract variant index from enum
ljedrz/ggez
Rust library to create a Good Game Easily
ljedrz/jemallocator
Rust allocator using jemalloc as a backend
ljedrz/kadmium
A broadcast protocol implementation based on Kadcast.
ljedrz/leo
The Leo Programming Language - A functional, statically-typed language for zero-knowledge applications
ljedrz/quanta
high-speed timing library in Rust
ljedrz/quinn
Async-friendly QUIC implementation in Rust
ljedrz/recruitment-exercises
Programming assignments for candidates
ljedrz/rust-websocket-lite
A fast, low-overhead WebSocket client
ljedrz/snarkOS
A Decentralized Operating System for Private Applications
ljedrz/snarkos2_network_testing
ljedrz/snarkVM
A Distributed Virtual Machine for Zero-Knowledge Executions
ljedrz/spectre
A lightweight toolkit for analysing p2p network topologies.
ljedrz/tui-rs
Build terminal user interfaces and dashboards using Rust
ljedrz/unsigned-varint
ljedrz/ziggurat
The Zcash Network Stability Framework