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

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

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.

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…

MirageOS is a library operating system that constructs unikernels

Programming language for literate programming law specification

Tidy, feature-complete Web framework

Context sensitive completion for OCaml in Vim and Emacs

Implementations of various type systems in OCaml.

Programming Languages Zoo

Systems language with linear types and capability-based security.

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

A statically-typed, functional typesetting system

Jane Street Capital's standard library overlay

A toolkit for embedding VPN capabilities in your application

Hardcaml is an OCaml library for designing hardware.

A library for incremental computations

Universal toplevel for OCaml

A functional programming language based on algebraic effect handlers

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

An engine for displaying slips, the next-gen version of slides

OCaml promises and concurrent I/O

Concurrent Programming with Effect Handlers

Parser combinators built for speed and memory efficiency

An actor-model multi-core scheduler for OCaml 5 🐫

Effects-based direct-style IO for multicore OCaml