Contribuer à l'écosystème open source
Essaimage de l'Inria depuis 2011, nous maintenons et contribuons à des projets open source utilisés en production dans le monde entier : compilateurs, solveurs, outillage. Le code est public, la porte est ouverte.
Ce que nous maintenons
GnuCOBOL
Mainteneur principal du seul compilateur COBOL réellement libre, actif depuis 2002.
Alt-Ergo
Solveur SMT développé depuis 2006, maintenu par nos équipes depuis 2013.
Opam
Le gestionnaire de paquets standard d'OCaml, créé et maintenu par nos équipes depuis 2012.
Flambda2
Backend d'optimisation du compilateur OCaml, développé avec Jane Street.
Owi
Boîte à outils d'analyse symbolique WebAssembly, pour C, Rust, Go et Zig.
Catala
Contribution au développement du langage qui transforme le texte de loi en code vérifié.
Comment contribuer
Code source public
Tous nos projets open source sont disponibles sur GitHub, sous licence libre.
Contributions bienvenues
Rapports de bugs, correctifs, discussions techniques : nos mainteneurs répondent directement.
Formations ouvertes
Nos formations Qualiopi sont ouvertes à toute personne souhaitant monter en compétence sur nos technologies.
Nos partenaires académiques et institutionnels
