mlasson's Stars
microsoft/vscode
Visual Studio Code
AntennaPod/AntennaPod
A podcast manager for Android
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
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.
ocaml/dune
A composable build system for OCaml.
mdgriffith/elm-ui
What if you never had to write CSS again?
OCamlPro/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
LexiFi/gen_js_api
Easy OCaml bindings for Javascript libraries
LexiFi/landmarks
A Simple Profiling Library for OCaml
ocaml-ppx/ocaml-migrate-parsetree
DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions
LexiFi/csml
High-level bindings between .Net and OCaml
diskuv/dkml-installer-ocaml
The Windows-friendly distribution of OCaml
coq-community/paramcoq
Coq plugin for parametricity [maintainer=@proux01]
LexiFi/lrt
LexiFi runtime types
tmattio/js-bindings
High-quality JavaScript bindings for OCaml
arrowresearch/vscode-merlin
THIS IS WORK IN PROGRESS, DO NOT USE
elastic/apm-agent-ocaml
Elastic OCaml APM provides an OCaml library for uploading traces, transactions and errors to Elastic APM.
diskuv/dkml-c-probe
Cross-compiler friendly characterizations of the OCaml's native C compiler
jvillard/tondeuse
Text-based lawn mowing.
mlasson/webgl-plot
A webgl 3d plotting library
fantazio/dead_code_analyzer
Dead-code analyzer for OCaml