AltGr

opam-bundle

A tool that creates stand-alone source bundles from opam packages

opam-ed

A small command-line tool to help with mechanical edition of opam files

ocp-sha

Pure OCaml implementation of SHA256 and SHA512

opam-package-upgrade

Upgrades opam package definition files to the latest format

perfect-gallery

A very simple image gallery based on perfect-layout

tree-sitter-catala

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

Package descriptions for OPAM

alt-ergo

OCamlPro public development repository for Alt-Ergo

catala

Programming language for literate programming law specification

catala-web-assets

Assets used by the website to render french law forms

catala-website

Source code for the website of the Catala language

dates-calc

Formally specified computations on dates

dockerfiles

dune

A composable build system for OCaml.

easy-check

freeton_wallet

The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

french-law

galene

The Galène videoconference server

glowing-chainsaw

js_of_ocaml

Compiler from OCaml to Javascript.

learn-ocaml

A Web Application for Learning OCaml

learn-ocaml-corpus

A corpus of automatically graded exercises to learn functional programming in OCaml.

ocaml

Read-only mirror of INRIA SVN

ocamlfind

The OCaml findlib library manager

opam-depext

Attempt to automate the installation of system packages required by OPAM packages

opam-publish

A tool to ease contributions to opam repositories

opam-rt

Regression Testing framework for OPAM

satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos

z3

The Z3 Theorem Prover