perfect programming language

A minimalist kernel

Revengineered ancient PDP-11 CPUs, originals and clones

Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.

TLA+ specification of Flexible Paxos

Reading the linearizability paper with TLA+

Written by Evan Morrison, a default logic reasoner based on Reiters Default logic, this is a lightweight and incomplete implementation of a default logic reasoner. No decision procedure has been d…

use tla+ to find programs, from circuits, quantum, to Lisp

The repo for the papers

A TLA+ module for animating TLC traces.

A PHP instrumentation library for AWS X-Ray

build your own text editor

WIP

A simple REPL for TLA+.

Curated list of resources on testing distributed systems

A fast linearizability checker written in Go 🔎

Upspin: A framework for naming everyone's everything.

A Go library for master-less peer-to-peer autodiscovery and RPC between HTTP services

Gong liveness and channel safety checker

Static analyser for finding Deadlocks in Go

System building tools for the Project Oberon 2013 and Extended Oberon operating systems

A revision of the Project Oberon 2013 operating system and a compiler for the programming language Oberon-2 (2020 Edition)

Class materials for a distributed systems lecture series

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

Berkeley Tree Database (BTrDB) server

Transforms docker-compose, ECS, and Marathon configurations

Pure Pony implementation of the ZeroMQ messaging library. 🐴 0️⃣ Ⓜ️ 🍀

build riak docker images.

barebones graphical pdf/djvu/cbr/image viewer that works inside iTerm2 2.9+ and Kitty