Pinned Repositories
generic_ppx
memory_models_experiments
ocaml
GitHub mirror of the OCaml Subversion repository.
ocaml-1
Read-only mirror of INRIA SVN
ocaml-bytes
Bytes module for ocaml <= 4.02
ocaml-cstruct
Map OCaml arrays onto C-like structs
ocaml-nullable-array
Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
ocaml-urg
Interface to Hokuyo's URG laser rangefinder
chambart's Repositories
chambart/ocaml-nullable-array
Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
chambart/ocaml
GitHub mirror of the OCaml Subversion repository.
chambart/memory_models_experiments
chambart/ocaml-1
Read-only mirror of INRIA SVN
chambart/ocaml-migrate-parsetree
Convert OCaml parsetrees between different major versions
chambart/opam-repository
chambart/statmemprof-emacs
Emacs client for statistical memory profiler
chambart/bitoduc.fr
A website about french words for computer concepts.
chambart/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.
chambart/encoding
An OCaml abstraction layer for constraint solvers.
chambart/extunix
Thin OCaml bindings to various low-level system APIs not covered by Unix module
chambart/flambda-backend
The Flambda backend project for OCaml
chambart/flambda2-opam
OPAM packages etc. for building with the Flambda 2 compiler
chambart/lmdb
Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.
chambart/lockfree
Lock-free data structures for multicore OCaml
chambart/lwt
A cooperative threads library for OCaml.
chambart/memtrace_viewer_with_deps
Interactive memory profiler based on Memtrace
chambart/merlin
Context sensitive completion for OCaml in Vim and Emacs
chambart/ocaml-canvas
The OCaml-Canvas library provides a portable Canvas for OCaml
chambart/ocaml-gccjit
OCaml bindings for libgccjit
chambart/ocaml-ledger-wallet
chambart/ocamlfind
ocamlfind mirror
chambart/ocplib-endian
Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.
chambart/opam-repo-flambda2-tools
merlin and ocaml for building flambda2 branch
chambart/opam-repository-js
Opam repository for the development version of Jane Street packages
chambart/owi
OCaml WebAssembly Interpreter
chambart/test-opam-fl2
chambart/tree-sitter-rust
Rust grammar for tree-sitter
chambart/wasm-meetings
WebAssembly meetings (VC or in-person), agendas, and notes
chambart/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.