Tyler Neely

sled. the champagne of beta embedded databases

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

rio. pure rust io_uring library, built on libc, thread & async friendly, misuse resistant

extreme. extremely boring async function runner!

paxos. simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly

loghisto. counters and logarithmically bucketed histograms for distributed systems

rasputin. (getting to be a) hard to kill scalable linearizabe store

seaslug. scraps of a potential language

rsdb. rust database engineering toolkit

crack. building blocks and testing tools for reliable systems

model. model testing sugar for testing interactions on structures over time

historian. Rust

mesos-rs. Mesos bindings using the v1 HTTP API

assert_panic_free. Rust

paranoia. Rust

tx. software transactional memory in rust

sludge. speedy web micro-framework using sled, io_uring and SIMD

acid-state. rust transactional state library

quickcheck-tut. Rust

state-guide. overviews of consistency, availability and durability

deterministic. utilities for imposing determinism on random number generators, thread execution, etc...

icefall. eventually consistent location-agnostic serverless and mobile database

triple. embeddable/standalone rust triple store

slides.

tv7. cli tool that generates an Elektron Tonverk-compatible multisample from a DX7-compatible SYSEX config

test-idioms. Rust

hardware-effects-rs. A Rust port of Kobzol/hardware-effects demonstrating performance issues

lfsr. simple linear feedback shift registers for test case generation

lathe. performant self-healing distributed micro-framework in rust

dots. Vim Script

programming-in-haskell. exercises, experiments, examples

llrb-rs. left-leaning red-black tree

inlinable-box. auto-box things that fit in a usize

rust-reactive-log. performant transactional composable persistence

zk-glove. command line tools for distributed orchestration and discovery

idgen.go. very fast monotonic ID generator

eurorack. patches for the droid eurorack modular sequencer

dist-sys. well-tested flexible distributed systems building blocks

talent-plan. open source training courses about distributed database and distributed systemes

Auto-GPT. An experimental open-source attempt to make GPT-4 fully autonomous.

determine-disk-block-size.

belasitsa. a tiny green WSGI back end for Mongrel 2

tikv-client. TiKV client powered by Tokio

awesome-ld-preload. List of resources related to LD_PRELOAD, a mechanism for changing application behavior at run-time

ak47. extremely reliable networked systems toolkit

async-std. Async version of the Rust standard library

BOHM1.1. Bologna Optimal Higher-Order Machine, Version 1.1

demikernel. Demikernel OS

neon. Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.