A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

JLang: Ahead-of-time compilation of Java programs to LLVM

Rocker: Robustness Checker

Generic model checker for concurrent C programs (mirror repository)

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

A very fast hashtable

A wrapper script to build whole-program LLVM bitcode files

chroot, mount --bind, and binfmt_misc without privilege/setup for Linux

Port of Poul-Henning Kamp's ministat to the Erlang world

Record and Replay Framework

Systematic Testing of the Read-Copy-Update (RCU) mechanism

Allows users to create virtual joysticks in Python code

Another Game Boy emulator for your terminal

JSON NIFs for Erlang

Microsoft OneDrive client on Linux.

Restoration of defocused and blurred photos/images

Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Currently supports the TSO, PSO and VIPS memory models.

An Erlang MUD

A GHC-based Haskell to JavaScript compiler

A color theme for emacs based on Textmate's Sunburst color scheme

Erlang library and packrat parser-generator for parsing expression grammars.