Stars
First-class compile‑time Arrow schemas for Rust.
Peek inside Parquet files right from your terminal
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
IP addresses break, dial keys instead. Modular networking stack in Rust.
A fast, efficient and trust-minimized unidirectional micro-payments system.
Smart contracts for timeline aggregation protocol
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Prototype Contract for Subscription Payments
This crate provides custom de/serialization helpers to use in combination with serde's `with`-annotation and with the improved `serde_as`-annotation.
A collection of utilities that are shared across E&N network services
A local graph network for integration testing
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Yet another cross-platform graphical process/system monitor.
🔥 Unit testing framework for Subgraph development on The Graph protocol. ⚙️
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
APALACHE: symbolic model checker for TLA+ and Quint
A purely functional programming language with first class types
Command line program for secret-sharing strings
Rust bindings for my Shamir secret sharing library
Budgie Desktop is a familiar, modern desktop environment.