kauboy26

elle-cli

command-line frontend to transactional consistency checkers for black-box databases

fuzztest

mongo-wt-data-explorer

benchmark

A microbenchmark support library

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

gdb-mongodb-server

GDB pretty printers and commands for debugging the MongoDB Server

wt_concurrency

mangodb

A database that operates at CLOUD SCALE

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

mermaid

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

noisepage

Self-Driving Database Management System from Carnegie Mellon University

tlaplus_animation

A TLA+ module for animating TLC traces.

evergreen

A Distributed Continuous Integration System from MongoDB

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

jepsen

A framework for distributed systems verification, with fault injection

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

gcpp

Experimental deferred and unordered destruction library for C++

tlaplus

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

raytracing.github.io

Main Web Site (Online Books)

BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

dolphin

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

dslabs

Distributed Systems Labs and Framework

tlaplus_repl

A simple REPL for TLA+.

seL4

The seL4 microkernel

Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

icecream

Distributed compiler with a central scheduler to share build load

bcc

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

Orca-strator

A container orchestration system for scalable APIs

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.