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

Performant type-checking for python.

Tools for code analysis, visualizations, or style-preserving source transformation.

Binary Analysis Platform

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

Implementations of various type systems in OCaml.

Programming Languages Zoo

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

A statically-typed, functional typesetting system

Systems language with linear types and capability-based security.

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

A library for incremental computations

A functional programming language based on algebraic effect handlers

Universal toplevel for OCaml

Multicore OCaml

An OCaml library for HTTP clients and servers using Lwt or Async

Hardcaml is an OCaml library for designing hardware.

🏞 an OCaml compiler for an untyped lisp

Bolt is a language with in-built data-race freedom!

Functional language for parallel programming

A modern supercompiler for call-by-value functional languages

C Intermediate Language

The Ott tool for writing definitions of programming languages and calculi

Links: Linking Theory to Practice for the Web

A compiler for a tiny (but growing!) subset of C, written in OCaml.

Spartan type theory

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

The Frenetic Programming Language and Runtime System

extprot: extensible binary protocols for cross-language communication and long-term serialization

Prototype type inference engine