Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

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

Performant type-checking for python.

Unison file synchronizer

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

A code rewrite tool for structural search and replace that supports ~every language.

Programming language for literate programming law specification

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

Tidy, feature-complete Web framework

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

Programming Languages Zoo

Systems language with linear types and capability-based security.

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

Standard library for OCaml

A mixture of tooling combined to produce JavaScript from OCaml & Reason

OCaml promises and concurrent I/O

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

typed bidirectional router for OCaml/ReasonML web applications