chambart

chambart's Stars

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.5k2067.5k1.1k

• coq/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.

  Language:OCaml4.9k10310.1k650

• ocaml/merlin

  Context sensitive completion for OCaml in Vim and Emacs

  Language:OCaml1.6k381.1k233

• tezos/tezos

  Mirror of the release branches for Tezos, a self-amending cryptographic ledger

  1.5k2630206

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml96039676188

• ocsigen/lwt

  OCaml promises and concurrent I/O

  Language:OCaml71441504176

• ocsigen/eliom

  Multi-tier framework for programming web and mobile applications in OCaml.

  Language:OCaml3052533854

• backtracking/ocamlgraph

  OCaml graph library

  Language:OCaml233168560

• andrewray/iocaml

  An OCaml kernel for the IPython notebook

  Language:Jupyter Notebook193185220

• ocsigen/tyxml

  Build valid HTML and SVG documents

  Language:OCaml1671913162

• mathiasbourgoin/SPOC

  Stream Processing with OCaml

  Language:OCaml138162510

• OCamlPro/owi

  WebAssembly Swissknife & cross-language bugfinder

  Language:OCaml135817517

• ocaml/oasis

  Cabal like system for OCaml

  Language:OCaml126445845

• ocaml/ocamlbuild

  The legacy OCamlbuild build manager

  Language:OCaml1221320981

• camlp4/camlp4

  Camlp4 tool

  Language:OCaml1011210636

• ocsigen/ocsigenserver

  Web server in OCaml.

  Language:OCaml101188631

• talex5/ocaml-wayland

  Pure OCaml Wayland protocol implementation

  Language:OCaml72375

• OCamlPro/wasocaml

  Language:OCaml54484

• ocaml-opam/opam-publish

  A tool to ease contributions to opam repositories

  Language:OCaml401210421

• OCamlPro/memthol

  Memthol is a visualizer for memory profiling data generated from OCaml programs.

  Language:Rust28713

• chambart/ocaml-nullable-array

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

  Language:OCaml17411

• jhjourdan/statmemprof-emacs

  Emacs client for statistical memory profiler

  Language:OCaml16535

• VincentPenelle/cairn

  A derivation explorer and logger for menhir parser

  Language:OCaml16200

• OCamlPro/ocplib-endian

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

  Language:OCaml1451522

• OCamlPro/flambda-task-force

  Language:HTML13201871

• OCamlPro/ocplib-simplex

  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

  Language:OCaml139116

• chambart/ocaml-urg

  Interface to Hokuyo's URG laser rangefinder

  Language:OCaml7201

• ocsigen/ocsimore

  A wiki in Eliom.

  Language:OCaml72264

• ocaml-wasm/wasocaml

  Language:OCaml6101

• thomasblanc/curry-flavor

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

  Language:OCaml6301