Pinned Repositories
Contre-jour
A toy image gallery application for OPA
docker-opam
Docker container for an OCaml + OPAM setup
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
opam-lock
Create locked opam files to share build environments across hosts
catala
Programming language for literate programming law specification
learn-ocaml
A Web Application for Learning OCaml
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
ocp-index
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
AltGr's Repositories
AltGr/opam-bundle
A tool that creates stand-alone source bundles from opam packages
AltGr/opam-ed
A small command-line tool to help with mechanical edition of opam files
AltGr/ocp-sha
Pure OCaml implementation of SHA256 and SHA512
AltGr/opam-package-upgrade
Upgrades opam package definition files to the latest format
AltGr/perfect-gallery
A very simple image gallery based on perfect-layout
AltGr/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.
AltGr/opam-repository
Package descriptions for OPAM
AltGr/alt-ergo
OCamlPro public development repository for Alt-Ergo
AltGr/asak
Identifying similar OCaml codes
AltGr/catala
Programming language for literate programming law specification
AltGr/catala-web-assets
Assets used by the website to render french law forms
AltGr/catala-website
Source code for the website of the Catala language
AltGr/dates-calc
Formally specified computations on dates
AltGr/dockerfiles
AltGr/dune
A composable build system for OCaml.
AltGr/easy-check
AltGr/freeton_wallet
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
AltGr/french-law
AltGr/galene
The Galène videoconference server
AltGr/glowing-chainsaw
AltGr/js_of_ocaml
Compiler from OCaml to Javascript.
AltGr/learn-ocaml
A Web Application for Learning OCaml
AltGr/learn-ocaml-corpus
A corpus of automatically graded exercises to learn functional programming in OCaml.
AltGr/ocaml
Read-only mirror of INRIA SVN
AltGr/ocamlfind
The OCaml findlib library manager
AltGr/opam-depext
Attempt to automate the installation of system packages required by OPAM packages
AltGr/opam-publish
A tool to ease contributions to opam repositories
AltGr/opam-rt
Regression Testing framework for OPAM
AltGr/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
AltGr/z3
The Z3 Theorem Prover