Explore projects

An OCaml toplevel build with Timbuk.

OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)

Resources for course MPRI 2-4 on functional programming and type systems.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

An LR(1) parser generator for OCaml.

Mirror for CI/CD purposes only.

Main tool with dep2pict executable

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Sources of the Abstract Categorial Development toolkit.

An LR(1) parser generator for OCaml.

Gtk interface for grew

Logging library use in Grew and Dep2pict projects

GUI and command line interface to the Grew library

GUI and command line interface to the Grew library

A regular verification framework based on Tree Automata and Term Rewriting Systems.

An LR(1) parser generator for OCaml.