Explore projects

Mirror from github CAS Overlay Template for Gazelle SSO

Separation Logic with Characteristic Formulae Entirely within Coq

Nix expressions for the datamove team

OBSOLETE: replaced by https://github.com/grew-nlp/grew_match

Laravel based web interface to run different GRS on a sentence

Guix Jupyter kernel

Voilà-based dashboard(s) for the NeuroQuery model

See new repository at: https://src.koda.cnrs.fr/eric.debreuve/obj.mpp

This repository moved to https://framagit.org/simgrid/platform-calibration/