Explore projects
-
MARTINOT Olivier / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
POTTIER Francois / sequel
GNU General Public License v3.0 or laterA complement to OCaml's Seq.
Updated -
Updated
-
-
Updated
-
-
Updated
-
Apps to compile from skel to gallina for use with the Coq Proof Assistant
Updated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
The ROS package assorti to the Animat Unity simulation.
Updated -
Updated
-
Updated
-
MOINE Alexandre / dislog
MIT LicenseUpdated -
SCHERER Gabriel / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
CLEMENT Emily / PySymbRobustness
GNU Affero General Public License v3.0The tool, written in Python, of the implementation of the algorithm presented in FORMATS 2020 (ref: CMMJ2020) Long version paper: https://arxiv.org/pdf/2007.01815.pdf
Updated -
Updated
-
Updated
-
Thierry Martinez / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Updated