Explore projects

Contains the code for the webinterface of botascopia

An AVL calculator

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

Separation Logic with Characteristic Formulae Entirely within Coq

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

A Coq port of FIRRTL

A rule-based HDL embedded within Coq

All results from the ics paper - to be kept

Dépôt git pour le site web de Liber Abaci

Javascript formalisation in Skeletal semantics

An LR(1) parser generator for OCaml.

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

This repository provides the code for reproducing the simulations in https://www.medrxiv.org/content/10.1101/2020.11.09.20228007v1