Starred repositories
Blazing-fast blockchain event indexing, powered by Rust and DuckDB
Real-time monitoring, metrics and logs for Rust channels. Now integrated with https://hotpath.rs
Self contained Rust A/B benchmarks and explanations
Merkle tree implementation in Rust with configurable storage backends and hash functions. Fixed depth and incremental only. Optimized for fast proof generation.
Security advisory database for Rust crates published through crates.io
Simple async Rust profiler with memory and data-flow insights - quickly find and debug performance bottlenecks.
A library for building fast, reliable and evolvable network services.
Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
An analysis tool for Python that blurs the line between testing and type systems.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Flexible concrete Error type built on std::error::Error
Robust Speech Recognition via Large-Scale Weak Supervision
A full featured, fast Command Line Argument Parser for Rust
A framework for distributed systems verification, with fault injection
A Go blocking leaky-bucket rate limit implementation
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…