Loading contributions...
Top Repositories
A tool that creates stand-alone source bundles from opam packages
A small command-line tool to help with mechanical edition of opam files
Create locked opam files to share build environments across hosts
A toy image gallery application for OPA
Pure OCaml implementation of SHA256 and SHA512
A very simple image gallery based on perfect-layout
Repositories
96A very simple image gallery based on perfect-layout
Stand-alone programs for numerical analysis in OCaml
A tool that creates stand-alone source bundles from opam packages
mdbook-treesitter is an mdBook preprocessor for html adding tree-sitter highlighting support.
Documentation book for Catala
a structural diff that understands syntax 🟥🟩
No description provided.
A small command-line tool to help with mechanical edition of opam files
A toy image gallery application for OPA
Formally specified computations on dates
Identifying similar OCaml codes
No description provided.
No description provided.
Assets used by the website to render french law forms
Source code for the website of the Catala language
Create locked opam files to share build environments across hosts
Programming language for literate programming law specification
No description provided.
The Galène videoconference server
A corpus of automatically graded exercises to learn functional programming in OCaml.
Upgrades opam package definition files to the latest format
The Z3 Theorem Prover
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
The OCaml findlib library manager
Custom OPAM repository for SATySFi libraries managed by Satyrographos
OCamlPro public development repository for Alt-Ergo
No description provided.
Pure OCaml implementation of SHA256 and SHA512
Simplify the configuration of editors for using OCaml tools
Regression Testing framework for OPAM