Stars
Verified Rust for low-level systems code
🤖 A curated list of websites that restrict access to AI Agents, AI crawlers and GPTs
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Gossip-based service discovery (and more) for large distributed systems.
Test automation framework with Expect style execution of commands
A model checker for implementing distributed systems.
Code examples, data structures, and links from my book, Rust Atomics and Locks.
A very compact representation of an image placeholder
Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite
Roshi is a large-scale CRDT set implementation for timestamped events.
Melda: A General Purpose Delta State JSON CRDT
Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen
Synthesize CRDTs from classic data types with verified lifting!
cachegrand - a modern data ingestion, processing and serving platform built for today's hardware
A monospaced programming font inspired by the Minecraft typeface
Tornado is a BitTorrent client written entirely in OCaml.
Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Ships now with an embedded key-value store.