Raphaël Monat's repositories
apron
Apron Numerical Abstract Domain Library
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
catala
Programming language for literate programming law specification
catala-website
Source code for the website of the Catala language
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.
emacs_cpp_completion
C/C++ code completion with emacs using Irony and GTAGS
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
M1-MPI-WaveSim
Project of M1@ENS Lyon, simulation of waves
opam-repository
Main public package repository for opam, the source package manager of OCaml.
python-gitlab
Python wrapper for the GitLab API