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 development of machine-checked proofs.

Static types for JSON APIs

A composable build system for OCaml.

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

The Stan transpiler (from Stan to C++ and beyond).

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

Keep Track of Experimental Workflows

minimalistic secure XMPP client in OCaml

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

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

Binary Analysis Platform

:diamond_shape_with_a_dot_inside: Converts Flow and TypeScript definitions to Reason interfaces

The compiler for ReScript.

Testing and benchmarking tool for logic-related programs.

A language server for reason, in reason

Visual Studio Code extension for OCaml

Connect processes into powerful data pipelines with a simple git-like filesystem interface

Organ Procurement Transplant System for "We, The People" developed using publicly available information about Organ Transplant & cutting edge medical research.

C-style preprocessor for OCaml

Bamboo see https://github.com/cornellblockchain/bamboo

Low-level JSON parsing and pretty-printing library for OCaml

A programming language with first-class modules and algebraic effects.

A pure OCaml PostgreSQL client library

Lock-free data structures for multicore OCaml

Generated OCaml bindings for Amazon Web Services

API for Coq using SerAPI

OCaml bindings to the GSL (GNU Scientific Library).

Auto-formatter for OCaml code

OCaml Build Infrastructure

Owl's Differential Equation Solvers