FUSE filesystem over Google Drive

magic-trace collects and displays high-resolution traces of what a process is doing

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

Programming language for literate programming law specification

Tidy, feature-complete Web framework

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Modern scientific computing for OCaml

Browser-based GTD (TODO list) system. No server needed.