Explore projects
-
-
-
Fresco / Capla / Compiler
GNU Lesser General Public License v2.1 onlyUpdated -
-
MONTAGU Benoit / function_graphs
GNU General Public License v3.0 or laterAbstract domain for function graphs, and fixpoint solvers based on them
Updated -
Updated
-
-
Updated
-
Updated
-
POTTIER Francois / oma
GNU Library General Public License v2 onlyUpdated -
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
ACG / dev / readline-ocaml
CeCILL Free Software License Agreement v2.0Updated -
-
skeletons / Necro Ocaml Generator
GNU General Public License v3.0 onlyUpdated -
-
Updated
-
HAMELIN David / jscoq-test
Creative Commons Attribution 2.5 GenericUpdated -
Resources for course MPRI 2-4 on functional programming and type systems.
Updated -
MICHELLAND Sébastien / itree-ai
GNU General Public License v3.0 or laterAbstract Interpretation with ITrees.
Updated