Stars
SGLang is a high-performance serving framework for large language models and multimodal models.
Official PyTorch implementation for ICLR2025 paper "Scaling up Masked Diffusion Models on Text"
Alpenglow: Global High-Performance Proof-of-Stake Blockchain with Erasure Coding
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.





