Tools built from decades of research
Every tool we build comes from our deep experience in formal methods, compilers, and software engineering. They are open source, battle-tested, and designed for real-world problems. We provide professional services on all of them, including installation, maintenance, and custom tailoring to your needs.
Production-ready solutions
Mature products deployed in production by enterprises, government, and research institutions.
SuperBOL
Modern COBOL SuiteSovereign COBOL migration and modernization. Combines GnuCOBOL with SuperBOL Studio for DevOps modernization and cloud deployment.
SeaCoral
C Testing & CoverageAutomatic C unit test generation with multi-criteria coverage analysis. Dead code and runtime error detection, CI/CD ready.
Sieste
Secure InfrastructureZero-trust, sovereign IT platform combining SaaS and hardware. GDPR, ISO 27001, NIS2 compliant.
TaxEngine
Tax CalculationHigh-performance tax computation engine processing 37M+ French tax declarations annually. Open source, fully sovereign.
Kopek
Cinema ContractsSimulate film and audiovisual contracts with revenue distribution calculations precise to the cent. No-code solution.
Sheets2app
Excel to Business AppsTransform Excel files into secure business applications using domain-specific languages and compiler-inspired optimization.
Research-grade tools
Cutting-edge tools from our research lab, pushing the boundaries of what's possible in verification, compilation, and analysis.
Owi
Cross-Language Bug DetectionWebAssembly analysis toolkit. Continuous analysis for C, C++, Rust, Zig, Go, and Wasm. Automatically find bugs and boost coverage.
Alt-Ergo
SMT SolverAutomatic theorem prover for software verification. Integrates with Frama-C, SPARK, and Why3 to ensure correctness of critical systems.
Flambda2
OCaml Compiler OptimizationAdvanced compiler optimization framework for OCaml. Trusted by Jane Street to power mission-critical trading systems.
GnuCOBOL
Free COBOL CompilerOpen-source COBOL compiler freeing your systems from proprietary software. Full COBOL 85/2002/2014 support with C interoperability.
SuperBOL Studio
COBOL IDE ExtensionModern COBOL development in VSCode powered by a Language Server Protocol. Syntax highlighting, diagnostics, navigation, and refactoring.
Opam
OCaml Package ManagerThe source-based package manager for OCaml, created and maintained by our team since 2012. Dependency resolution, compiler management, and package distribution.
We support every tool we build
Open source means you own the code. Our services mean you're never on your own.
Installation & Deployment
We set up our tools in your environment, whether on-premise, cloud, or hybrid, with full integration into your existing CI/CD pipelines and workflows.
Maintenance & Support
Dedicated support, bug fixes, and updates. We ensure your tools stay current, secure, and performant as your needs evolve.
Custom Tailoring
Every organization is different. We adapt, extend, and customize our tools to fit your specific requirements, standards, and processes.
Training & Onboarding
Expert-led training to get your team productive quickly. From developer workshops to executive overviews, we cover every level.