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

The core OCaml system: compilers, runtime system, base libraries

A language that compiles to Bash and Windows Batch

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

Programming Languages Zoo

A toolkit for embedding VPN capabilities in your application

Connect processes into powerful data pipelines with a simple git-like filesystem interface

🍬 a functional language for building type-safe, scalable, and maintainable applications

HTML 5 canvas implementation of Mario written in Ocaml

The Hindley Milner Type Inference Algorithm

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion

An Elm to OCaml compiler

CLI program for controlling the spotify desktop client