Pinned Repositories
apron
Apron Numerical Abstract Domain Library
apron_test
artefact-evaluation
batman
a BAsic Thread-Modular Analyzer developped during an internship in the ANTIQUE team, at the ENS Ulm
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
catala
Programming language for literate programming law specification
catala-examples
Collection of Catala programs
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
rmonat's Repositories
rmonat/apron
Apron Numerical Abstract Domain Library
rmonat/apron_test
rmonat/artefact-evaluation
rmonat/batman
a BAsic Thread-Modular Analyzer developped during an internship in the ANTIQUE team, at the ENS Ulm
rmonat/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
rmonat/catala
Programming language for literate programming law specification
rmonat/catala-examples
Collection of Catala programs
rmonat/catala-website
Source code for the website of the Catala language
rmonat/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.
rmonat/emacs_cpp_completion
C/C++ code completion with emacs using Irony and GTAGS
rmonat/ER01
rmonat/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
rmonat/M1-MPI-WaveSim
Project of M1@ENS Lyon, simulation of waves
rmonat/jsanalyzer
[WIP] Tool to deobfuscate javascript
rmonat/opam-repository
Main public package repository for opam, the source package manager of OCaml.
rmonat/python-gitlab
Python wrapper for the GitLab API