chambart Goto Github PK

bitoduc.fr

A website about french words for computer concepts.

camlp4

Camlp4 tool

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.

core

Jane Street Capital's standard library overlay

core_bench

core_kernel

Jane Street Capital's standard library overlay (kernel)

curry-containers

Curryfied nested maps and sets compatible with OCaml's standard library maps and sets

deriving

Extension to OCaml for deriving functions from type declarations.

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

generic_ppx

gg

Basic types for computer graphics in OCaml

js-build-tools

js_of_ocaml

Compiler from OCaml to Javascript.

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

mezzo

The language of the future!

mlbdd

A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

ocaml

GitHub mirror of the OCaml Subversion repository.

ocaml-1

Read-only mirror of INRIA SVN

ocaml-benchs

Macro benchmarks for OCaml

ocaml-bytes

Bytes module for ocaml <= 4.02

ocaml-canvas

The OCaml-Canvas library provides a portable Canvas for OCaml

ocaml-cohttp

HTTP/1.1 protocol library that supports the Async and Lwt cooperative threading libraries.

ocaml-cstruct

Map OCaml arrays onto C-like structs