The kubernetes network policy validator.

Self-Driving Database Management System from Carnegie Mellon University

MySQL Backup and Point-in-time Recovery service

the champagne of beta embedded databases

Gathering of template plugins for PostgreSQL: background workers, logical replication things, etc.

new heap with in-place update, powered by undo, for eventual integration into PostgreSQL

A book about the internals of the Go programming language.

Small set of tools for JVM troublshooting, monitoring and profiling.

Minor mode for God-like command entering

jHiccup is a non-intrusive instrumentation tool that logs and records platform "hiccups" - including the JVM stalls that often happen when Java applications are executed and/or any OS or hardware p…

Mirror of Apache Cassandra

🐒 Bytecode-level fault injection for the JVM.

Fuzzy matching for Emacs ... a la Sublime Text.

Project Interaction Library for Emacs

slack client for emacs

Safe Rust bridge for creating Erlang NIF functions

Lucene based secondary indexes for Cassandra

This code base is retained for historical interest only, please visit Apache Incubator Repo for latest one

Minimal x86 firmware for booting Linux kernels

Epic - a Supercombinator Compiler

Example programs using LLVM from within Rust

Efficiently hopping squeezed lines powered by Emacs helm interface

Seamless multi-primary syncing database with an intuitive HTTP/JSON API, designed for reliability

Experimental KVM-based VMM for containers, written in Go.

A sunny little virtual machine

A sneaky Erlang version manager, v1 (C version)

Bayesian Modeling and Probabilistic Programming in Python

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

A window management application (replacement for Divvy/SizeUp/ShiftIt)