Adds static typing to JavaScript to improve developer productivity and code quality.

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

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

Performant type-checking for python.

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

Unison file synchronizer

MirageOS is a library operating system that constructs unikernels

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

Pack JS code fast & easy

Programming language for literate programming law specification

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

A composable build system for OCaml.

The Opa Language for Web Application Development

Owl - OCaml Scientific Computing @ https://ocaml.xyz

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

Standard library for OCaml

Universal toplevel for OCaml

Auto-formatter for OCaml code

✨Cross-platform set of tools for building native UIs with Reason/OCaml

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

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

Pure OCaml Git format and protocol

OCaml, Meet Web.

Cap'n Proto RPC implementation

OCaml code generator plugin for the Cap'n Proto serialization framework

The Boomerang Bidirectional Programming Language

OCaml with macros