Inria Continuous Integration

List of public projects

Full name Description Actions
storalloc A Scheduler for Storage Resources
PyToM PyToM est le portage en Python du logiciel CusToM, auquel de nouvelles fonctionnalités seront ajoutées.
Catala Continuous integration for the Catala domain-specific language.
personoj Translation from PVS to Dedukti
abstraction-work This project provides code for my abstraction work and leverages Connection-lens.
Kappa CI for Kappa language: https://github.com/Kappa-Dev
Aramis documentation Project to build and deploy documentation of Aramis team
SWEET Shallow Water Equation Environment for Tests, Awesome!
https://github.com/schreiberx/sweet