spacejam

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

loghisto

counters and logarithmically bucketed histograms for distributed systems

icefall

eventually consistent location-agnostic serverless and mobile database

triple

embeddable/standalone rust triple store

lfsr

simple linear feedback shift registers for test case generation

llrb-rs

left-leaning red-black tree

ak47

extremely reliable networked systems toolkit

BOHM1.1

Bologna Optimal Higher-Order Machine, Version 1.1

book

A textbook on informal homotopy type theory

chan-signal

Respond to OS signals with channels.

cicada-engine

The Cicada engine

cicada-exp-sigmod2017-DBx1000

A fork of DBx1000 for Cicada SIGMOD 2017 evaluation

coco

Concurrent collections

dejafu

Systematic concurrency testing meets Haskell.

Gazelle

gdb-bug

hier_time

do things at times!

HoneyBadgerBFT

The Honey Badger of BFT Protocols

human-time

it's human time, like 36h or tomorrow or 12/26

iWasWhere

A geo-aware (and private) personal information manager

linearizable

linearizability checker

porcupine

A fast linearizability checker written in Go 🔎

riak_repl

Riak DC Replication

rust-prehistory

historical archive of rust pre-publication development

rust-san

How-to: Sanitize your Rust code!

seer

symbolic execution engine for Rust

smoke

don't breath it, yet

tacit-traits

teller

client-side memory-hard file encryption UI

terminals-are-sexy

💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.