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.

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

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Unison file synchronizer

Programming language for literate programming law specification

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

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

Implementations of various type systems in OCaml.

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 programming language based on algebraic effect handlers

Multicore OCaml

Concurrent Programming with Effect Handlers

OCaml - Oxidized!

Examples to illustrate the use of algebraic effects in Multicore OCaml

The Ott tool for writing definitions of programming languages and calculi

Malfunctional Programming

Links: Linking Theory to Practice for the Web

Cooperative-threaded access to relational data

Documentation compiler for OCaml and Reason

Spartan type theory

😎TT

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Contextual types meet mechanized metatheory!

Communication between Coq and SAT/SMT solvers

Reagents for multicore OCaml