the champagne of beta embedded databases

Paxos Made Moderately Complex

Blazing-fast Data-Wrangling toolkit

Some experiments in making exercises for teaching TLA+

A formatter for TLA+ specs

A flexible authorization library that combines role-based (RBAC), attribute-based (ABAC), and relationship-based (ReBAC) access control policies.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

🎓 Path to a free self-taught education in Computer Science!

Maintain your entire supply chain with one magical tool.

A register-based VM in Rust

Following along the second (C) part of https://craftinginterpreters.com/, but with Rust, because reasons.

A Git-compatible VCS that is both simple and powerful

RFCs for changes to the TLA+ specification language

A cloud native embedded storage engine built on object storage.

🚀 Awesome Tauri Apps, Plugins and Resources

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A type-safe, K-sortable, globally unique identifier

Class materials for a distributed systems lecture series

A guidance language for controlling large language models.

LlamaIndex is the leading framework for building LLM-powered agents over your data.

Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.

A workbench for writing toy implementations of distributed systems.

rust raft with improvements

CodexDB generates code for SQL query processing via OpenAI's GPT-3 Codex model.

a collection of well-tested, serializable CRDTs for Rust

An API documentation library

Distributed systems runtime daemon written in Rust.