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.
Sieste
Secure infrastructureZero-trust, sovereign IT platform combining SaaS and hardware. GDPR, ISO 27001, NIS2 compliant.
Mlang-Catala
Tax languagesMlang and Catala, the domain-specific languages computing tax on 37M+ French tax declarations. Open source.
Kopek
Cinema contractsSimulate film and audiovisual contracts with revenue distribution calculations precise to the cent. No-code solution.
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.
Research-grade tools
Cutting-edge tools from our research lab, pushing the boundaries of what's possible in verification, compilation, and analysis.
SeaCoral
C testing & coverageAutomatic C unit test generation with multi-criteria coverage analysis. Dead code and runtime error detection, CI/CD ready.
XLS to DSL
Excel to business appsTransform Excel files into business applications through a domain-specific language, as with Kopek.
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.
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.