Des outils issus de décennies de recherche
Nos outils sont le fruit d'une expertise unique en méthodes formelles et génie logiciel. Ils sont Open Source, éprouvés en production et conçus pour des enjeux critiques. Nous assurons installation, maintenance et adaptation sur mesure.
Solutions prêtes pour la production
Des produits matures déployés chez des grands comptes, des administrations et des instituts de recherche.
SuperBOL
Suite COBOL moderneMigration et modernisation COBOL souveraine. Combine GnuCOBOL avec SuperBOL Studio pour le cloud.
Sieste
Infrastructure sécuriséePlateforme IT souveraine zero-trust conforme NIS2 et GDPR. Soutenue par l'ANSSI.
Mlang-Catala
Langages fiscauxMlang et Catala, les langages dédiés qui calculent l'impôt sur 37M de déclarations françaises. Open Source.
Kopek
Contrats cinémaSimulation et calcul de répartition des recettes cinématographiques. Solution No-code.
Opam
Gestionnaire OCamlStandard de l'écosystème OCaml pour la gestion des paquets et des dépendances, maintenu par nos équipes.
Outils de recherche
Outils de pointe issus de notre labo, repoussant les limites de la vérification et de l'analyse.
SeaCoral
Tests & couverture CGénération automatique de tests C avec analyse de couverture multi-critères et détection d'erreurs d'exécution.
XLS to DSL
Excel vers applicationsTransformez Excel en applications métier via un langage dédié (DSL), comme pour Kopek.
Owi
Détection de bugs multi-langagesAnalyse WebAssembly continue pour C, Rust, Go, Zig. Trouvez automatiquement les bugs complexes.
Alt-Ergo
Solveur SMTProuveur automatique utilisé par Frama-C et SPARK pour garantir la correction des systèmes critiques.
Flambda2
Optimisation OCamlFramework d'optimisation avancé utilisé par Jane Street pour ses systèmes de trading.
Installation, support, formation : nous restons à vos côtés.
L'Open Source vous donne la possession du code. Nos services vous garantissent la sérénité.
Installation & déploiement
Intégration complète dans vos environnements (on-premise/cloud) et vos pipelines CI/CD.
Maintenance & support
Support dédié, correctifs et mises à jour pour garantir la performance et la sécurité.
Adaptation sur mesure
Nous personnalisons nos outils pour qu'ils s'adaptent à vos processus et normes spécifiques.
Formation & onboarding
Ateliers experts pour rendre vos équipes productives immédiatement.