rust raft with improvements

Distributed transactional key-value database, originally created to complement TiDB

A persistent storage engine for Multi-Raft log

Various dot files (mostly emacs configuration)

Scripts for building the latest possible GNUstep on your system

Cliff Click Language Hacking

Embedded web server, with TCP/IP network stack, MQTT and Websocket

Occlum is a memory-safe, multi-process library OS for Intel SGX

The latest version of the Inform 6 compiler, used for generating interactive fiction games.

Benchmarks for lockfree datastructures.

Plain Paxos Implementations in Python & Java

Airship is a software deployment and management tool

A Python extension for writing structured and reusable inline HTML.

(almost) 100% invokedynamic js impl

A more reliable and faster version of MongoDB

A database that operates at CLOUD SCALE

An open-source C++ library developed and used at Facebook.

Readings in distributed systems

Haskell library to compute quantiles (experiment/for learning purposes)

Create a local 'apt' repository for Ubuntu Java packages.

Toy compiler for OCaml Meetup

A minimal HTTP fetcher.

Haskell exercises from Yet Another Haskell Tutorial, Stanford CS240h, etc...

Git-like-cli as been renamed and moved to Airline

Create a local 'apt' repository for Sun Java 6 and/or Oracle Java 7 packages.

The new home of Lua mode for Emacs (WARNING: only master is guaranteed to preserve its history, use other branches at your own risk)