external process instrumentation from the terminal
Repositories
spacejam repositories
Respond to OS signals with channels.
Fault tolerant job scheduler for Mesos which handles dependencies and ISO8601 based schedules
The Cicada engine
A fork of DBx1000 for Cicada SIGMOD 2017 evaluation
Concurrent collections
building blocks and testing tools for reliable systems
Support for parallelism and low-level concurrency in Rust
A compiler from Rust to C, and a checker for unsafe code
DC/OS Build and Release tools
Systematic concurrency testing meets Haskell.
Demikernel OS
utilities for imposing determinism on random number generators, thread execution, etc...
dirsuptor patterns in different languages
well-tested flexible distributed systems building blocks
generate DX7 audio samples from your favorite SYSEX
Fast and efficient ed25519 signing and verification in Rust.