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

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…

Unison file synchronizer

A composable build system for OCaml.

Jane Street Capital's standard library overlay

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

A library for incremental computations

Standard library for OCaml

A modern supercompiler for call-by-value functional languages

A library for building dynamic webapps, using Js_of_ocaml.

A library for building dynamic webapps, using Js_of_ocaml

Links: Linking Theory to Practice for the Web

A compiler for a tiny (but growing!) subset of C, written in OCaml.

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

Jane Street Capital's asynchronous execution library

Archive for all Coq related OPAM packages organized in various repositories

Reference implementation for Writing a C Compiler

a dlopen-like API for Windows

Experiment on how to bootstrap the OCaml compiler

This package contains a lightweight deductive database system in OCaml

Non-blocking streaming Unicode codec for OCaml

Randomized testing framework, designed for compatibility with Base

Core-flavoured wrapper around zarith's arbitrary-precision rationals

A compiler for an ML-style language that compiles to lambda calculus. CS4110 Final Project