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.
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.
Sieste
Infrastructure sécuriséePlateforme IT souveraine zero-trust conforme NIS2 et GDPR. Soutenue par l'ANSSI.
TaxEngine
Calcul fiscalMoteur de calcul fiscal gérant 37M de déclarations françaises. Open Source et entièrement souverain.
Kopek
Contrats cinémaSimulation et calcul de répartition des recettes cinématographiques. Solution No-code.
Sheets2app
Excel vers applicationsTransformez Excel en applications métier via des DSL et des optimisations de type compilateur.
Outils de recherche
Outils de pointe issus de notre labo, repoussant les limites de la vérification et de l'analyse.
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.
GnuCOBOL
Compilateur COBOL libreCompilateur Open Source libérant vos systèmes des éditeurs propriétaires. Support COBOL 85/2002/2014.
SuperBOL Studio
IDE COBOLDéveloppement COBOL moderne dans VSCode via LSP. Navigation, diagnostics et refactoring.
Opam
Gestionnaire OCamlStandard de l'écosystème OCaml pour la gestion des paquets et des dépendances, maintenu par nos équipes.
Nous accompagnons chaque outil
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.