Starred repositories
📝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
8000A 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…
A fast, secure, and portable multichain light client for Ethereum
Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
A pseudo-random deterministic merkle tree built on LMDB
The CompCert formally-verified C compiler
The Rust Implementation of the libp2p networking stack.
Matplotlib styles for scientific plotting
A zero-knowledge protocol for anonymous interactions.
Generate a shared library and bindings for many languages.