Repositories
Octachron/oceti
A disparate collection of experimental data structures
Octachron/babilim
Localization plugin for OCaml
Octachron/more_ocaml_warnings
OCaml compiler plugins for adding new warnings
Octachron/RFCs
Design discussions about the OCaml language
Octachron/talaria_bibtex
A bibtex file parser
Octachron/ocaml-lexer-microbenchmarks
Microbenchmarks for the OCaml lexer
Octachron/js_of_ocaml
Compiler from OCaml to Javascript.
Octachron/format-doc
Alternative interpreter for OCaml format strings
Octachron/ocaml_buffer_benchmarks
Benchmarking buffer implementations
Octachron/phantom_algebra
Small tensor library a la GLSL
Octachron/conan
Like detective conan, find clue about the type of the file
Octachron/core
Jane Street Capital's standard library overlay
Octachron/stdlib-random
Versioned random number library
Octachron/pgocaml
PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.
Octachron/github-playground
Test repository for github settings
Octachron/gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
Octachron/ocamlfind
The OCaml findlib library manager
Octachron/ocaml.org-1
Upcoming version of the official OCaml website.
Octachron/opam-repository-mingw
windows package repository for OPAM (mingw and msvc)
Octachron/poc-modular-io
proof of concept for https://github.com/ocaml/RFCs/pull/19
Octachron/sundialsml
An OCaml interface to the Sundials suite of numeric solvers.
Octachron/dune
A composable build system for OCaml
Octachron/topkg
The transitory OCaml software packager
Octachron/ounit
Octachron/ocaml-version
Library to parse and enumerate releases of the OCaml compiler
Octachron/opamcheck
scripts to test OCaml compiler changes on the whole OPAM repository
Octachron/camlp4
Camlp4 tool
Octachron/opam-alpha-repository
A test opam overlay containing packages compatible with the next release of the OCaml compiler
Octachron/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.