Highlights
- Pro
Stars
A minimal (and wicked fast) blockchain built with the Commonware Library.
Commonware Library Primitives and Examples
Simple, minimal implementation of the Mamba SSM in one file of PyTorch.
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
Train ImageNet *fast* in 500 lines of code with FFCV
Playground for Streamlet implementation in ocaml
Rust implementation of the Streamlet consensus protocol.
Book in preparation: introduction to theoretical computer science
A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
arrowcrypto / pala
Forked from thundercore/pala-pocGo implementation of the consensus protocol Pala
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Vervious / go-algorand
Forked from algorand/go-algorandAlgorand's official implementation in Go.
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
Algorand SDK for Java7+ to interact with the Algorand network