A static analyzer for Java, C, C++, and Objective-C

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Irmin is a distributed database that follows the same design principles as Git

A functional programming language based on algebraic effect handlers

the core 0install package

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Writing Emacs plugin in OCaml

A filesystem interface to git repositories

JavaScript signature notation

Continuation Passing C

Automatically exported from code.google.com/p/intuitionistic