Pinned Repositories
AntennaPod
A podcast manager for Android
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.
dune
A composable build system for OCaml.
fathom
Fathom Lite. Simple, privacy-focused website analytics. Built with Golang & Preact.
js-yacc-bug
js_of_ocaml
Compiler from OCaml to Javascript.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
tooltips
Popper example on ocaml vdom
webgl-plot
A webgl 3d plotting library
mlasson's Repositories
mlasson/webgl-plot
A webgl 3d plotting library
mlasson/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
mlasson/tooltips
Popper example on ocaml vdom
mlasson/AntennaPod
A podcast manager for Android
mlasson/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.
mlasson/dune
A composable build system for OCaml.
mlasson/fathom
Fathom Lite. Simple, privacy-focused website analytics. Built with Golang & Preact.
mlasson/js-yacc-bug
mlasson/js_of_ocaml
Compiler from OCaml to Javascript.
mlasson/lcsg
Legazioni, commissarie, scritti di governo
mlasson/merlin
Context sensitive completion for OCaml in Vim and Emacs
mlasson/mlasson.github.io
Github page
mlasson/ocaml
The core OCaml system: compilers, runtime system, base libraries
mlasson/ocaml-lsp
OCaml Language Server Protocol implementation
mlasson/ocaml-vdom
Elm architecture and (V)DOM for OCaml
mlasson/ocaml-win
mlasson/ppxlib
Base library and tools for ppx rewriters
mlasson/vscode-ocaml-platform
Visual Studio Code extension for OCaml
mlasson/vscode-ocp-indent
Provide OCP-Indent in VSCode for Ocaml code formatting
mlasson/vscode-vsce
VS Code Extension Manager