chambart

ocaml-nullable-array

Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`

ocaml

GitHub mirror of the OCaml Subversion repository.

memory_models_experiments

ocaml-1

Read-only mirror of INRIA SVN

opam-repository

statmemprof-emacs

Emacs client for statistical memory profiler

bitoduc.fr

A website about french words for computer concepts.

coq

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.

encoding

An OCaml abstraction layer for constraint solvers.

extunix

Thin OCaml bindings to various low-level system APIs not covered by Unix module

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

lmdb

Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.

lockfree

Lock-free data structures for multicore OCaml

lwt

A cooperative threads library for OCaml.

memtrace_viewer_with_deps

Interactive memory profiler based on Memtrace

merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml-canvas

The OCaml-Canvas library provides a portable Canvas for OCaml

ocaml-ledger-wallet

ocaml-leveldb

OCaml bindings for Google's LevelDB

ocaml-migrate-parsetree

Convert OCaml parsetrees between different major versions

ocamlfind

ocamlfind mirror

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

opam-repo-flambda2-tools

merlin and ocaml for building flambda2 branch

opam-repository-js

Opam repository for the development version of Jane Street packages

owi

OCaml WebAssembly Interpreter

test-opam-fl2

tree-sitter-rust

Rust grammar for tree-sitter

wasm-meetings

WebAssembly meetings (VC or in-person), agendas, and notes

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.