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

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

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A language that compiles to Bash and Windows Batch

Implementations of various type systems in OCaml.

A statically-typed, functional typesetting system

Effects-based direct-style IO for multicore OCaml

moved from https://sourceforge.net/p/min-caml/code/

OCaml bindings for PyTorch

All the examples in Real World OCaml

An OCaml kernel for Jupyter (IPython) notebook

OCaml bindings for TensorFlow

Formal verification for OCaml

PDF Command Line Tools Source

OCaml Math Library

Lwt Translations of the Async Code Examples in Real World OCaml

Simple C Compiler in OCaml

preprocessor for easier stub generation with ocaml-ctypes

A compiler for a subset of Typed Racket.