mkleene

followers

following

stars

Morgan Kleene's starred repositories

tlaplus

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

Language:JavaMIT226300

talent-plan

open source training courses about distributed database and distributed systems

Language:Rust998900

indradb

A graph database written in rust

Language:RustMPL-2.0213400

tikv

Distributed transactional key-value database, originally created to complement TiDB

Language:RustApache-2.01480000

toydb

Distributed SQL database in Rust, written as an educational project

Language:RustApache-2.0600900

fst

Represent large sets and maps compactly with finite state transducers.

Language:RustUnlicense173300

riak_dt

Convergent replicated datatypes in Erlang

Language:ErlangApache-2.035100

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Language:CApache-2.01996100

aho-corasick

A fast implementation of Aho-Corasick in Rust.

Language:RustUnlicense98800

wickdb

Pure Rust LSM-tree based embedded storage engine

Language:RustApache-2.062100

internals

High level architecture overview

NOASSERTION144800

p-limit

Run multiple promise-returning & async functions with limited concurrency

Language:JavaScriptMIT186100

node-oom-heapdump

Create a V8 heap snapshot right before an "Out of Memory" error occurs, or create a heap snapshot or CPU profile on request.

Language:JavaScriptMIT9200

Naiad

The Naiad system provides fast incremental and iterative computation for data-parallel workloads

Language:C#Apache-2.051400

diagnostics

Diagnostic tools for timely dataflow computations

Language:RustMIT4100

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

Language:RustMIT251700

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLANOASSERTION125300

elasticmq

In-memory message queue with an Amazon SQS-compatible interface. Runs stand-alone or embedded.

Language:ScalaApache-2.0247800

Hands-on-System-Programming-with-Linux

Hands-On System Programming with Linux, Kaiwan N Billimoria, published by Packt

Language:CMIT23100

firecracker

Secure and fast microVMs for serverless computing.

Language:RustApache-2.02468900

loom

A CRDT library with δ-CRDT support.

Language:ElixirNOASSERTION22200

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Language:PythonNOASSERTION26513000

pure-sh-bible

📖 A collection of pure POSIX sh alternatives to external processes.

Language:ShellMIT640900

awesome-go-storage

A curated list of awesome Go storage projects and libraries

MIT436200

localstack

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Language:PythonNOASSERTION5313100

node-rsa

Node.js RSA library

Language:JavaScript138500

jitwatch

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

Language:JavaNOASSERTION304000

docker-rsyslog

rsyslog in a tiny docker image

Language:ShellMIT9500

docker-postfix

run postfix with smtp authentication (sasldb) in a docker container

Language:ShellMIT30700

Python

All Algorithms implemented in Python

Language:PythonMIT18240600