Verified Rust for low-level systems code

🤖 A curated list of websites that restrict access to AI Agents, AI crawlers and GPTs

RR - Railroad Diagram Generator

CMU-DB's Cascades optimizer framework

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.

JSON Stream Editor (command line utility)

Code examples, data structures, and links from my book, Rust Atomics and Locks.

A very compact representation of an image placeholder

Gotchas and warts in Rust Lang

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

Reflection via DWARF.

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!

background code checker

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.

A language server for Standard ML.

TLA+ specifications for Raft and variants

Mold: A Modern Linker 🦠

A document language for the browser

(educational) build your own disk based KV store

io_uring support for Pony 💍 🐴