spacejam Goto Github PK

acid-state

rust transactional state library

ak47

extremely reliable networked systems toolkit

alice-sled

alice testing sled

assert_panic_free

async-io

Async I/O and timers

async-std

Async version of the Rust standard library

atlasdb

Transactional Distributed Database layer

aurora

Mirror of Apache Aurora

auto-gpt

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

automerge-rs

Rust implementation of automerge

awesome-ld-preload

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

belasitsa

a tiny green WSGI back end for Mongrel 2

bohm1.1

Bologna Optimal Higher-Order Machine, Version 1.1

book

A textbook on informal homotopy type theory

cavemon

external process instrumentation from the terminal

chan-signal

Respond to OS signals with channels.

chronos

Fault tolerant job scheduler for Mesos which handles dependencies and ISO8601 based schedules

cicada-engine

The Cicada engine

cicada-exp-sigmod2017-dbx1000

A fork of DBx1000 for Cicada SIGMOD 2017 evaluation

coco

Concurrent collections

crack

building blocks and testing tools for reliable systems

crossbeam

Support for parallelism and low-level concurrency in Rust

crust

A compiler from Rust to C, and a checker for unsafe code

cyborg-training-camp

dcos

DC/OS Build and Release tools

dejafu

Systematic concurrency testing meets Haskell.

demikernel

Demikernel OS

determine-disk-block-size

deterministic

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

disruptors

dirsuptor patterns in different languages