The best of research for your business
We create futureproof, flexible solutions built to last, drawing from legacy systems or brand new ideas.
Titagone Video Presentation
Long term solutions for your unsolved problems
Compiler Modernization for the French Ministry of Finance
When the French Ministry of Finance (DGFiP) faced skyrocketing mainframe costs, they turned to us to modernize their core COBOL infrastructure. Our team extended the open-source GnuCOBOL compiler to support legacy GCOS dialects — ensuring full compatibility with decades-old code while enabling migration to modern, secure environments.
We leveraged Rust technologies to reinforce memory safety, optimize performance, and guarantee long-term maintainability. Today, DGFiP runs critical workloads on standard hardware with enhanced reliability, reduced costs, and uncompromised security.
In addition, for decades, the French Ministry of Finance relied on an aging, fragile toolchain to run its income tax system. Titagone modernized the ecosystem by turning an academic prototype into a robust, production-grade compiler for the legacy M language. The result: reduced technical debt, enhanced reliability, and a futureproof, open-standards architecture.
Key Outcomes:
✔️ Rust-based enhancements for memory safety
✔️ High-performance, production-grade compiler
✔️ Futureproof architecture built on open standards
Tailor-Made DSL Language for the film industry
When a film producer and a language design expert set out to solve a long-standing problem in the cinema industry — revenue-sharing calculations — they quickly realized few companies had the technical expertise to help.
Titagone (formerly OCamlPro) partnered with them to build Kopek, a domain-specific language and no-code platform designed to accurately model complex contractual agreements between producers and stakeholders.
This project showcases our ability to turn bold ideas into reliable, production-ready tools — even in highly specialized industries. From startups to public institutions, we provide custom solutions where others can’t.
Key Outcomes:
✔️ Custom domain-specific language for contract modeling
✔️ Intuitive no-code platform for complex calculations
✔️ Trusted technology partner from idea to market launch
A High-Stakes Security Project with National Impact
In 2015, Titagone (then OCamlPro) led the SecurOCaml R&D initiative—building a secure OCaml platform for critical environments, notably collaborating with Inria, ANSSI, and the CEA. Recognizing its strategic importance, even the CEO of the OCaml Software Foundation (OCSF) joined the kickoff workshops in Paris, underscoring the project’s national relevance.
Backed by funding from BPI France and the Essonne department, we hired Vincent Laviron, who led the project’s core exception-analysis tooling in Rust—a testament to our expertise in both functional and memory-safe languages.
This collaboration not only improved memory-safety and formally verified critical OCaml systems, but it also cemented Titagone’s role as a major player in the secure software ecosystem—trusted by both institutional bodies and the open-source community.
Main Figures of the Company
OCamlPro has the most-known experts of their domains.
Fabrice LeFessant
Founder of Titagone and respected OCaml pioneer, Fabrice shapes our technical direction.
With decades of experience, Fabrice has been at the heart of OCaml’s evolution. His unique mix of deep academic expertise and real-world software leadership ensures that Titagone delivers futureproof, secure, and innovative solutions to its clients.
Arthur Carcano
Rust specialist and key engineer at Titagone, Arthur brings safety and performance to our most critical software.
Arthur leads Rust development at Titagone, applying his expertise to build secure, memory-safe, and high-performance solutions. His work is central to our compiler and system-level projects, helping modernize complex, high-stakes infrastructures.
Pierre Chambart
Language design expert, Pierre brings precision and performance to complex software projects.
Pierre’s contributions to compiler development have strengthened Titagone’s reputation for technical excellence. His work helps clients modernize legacy code and implement robust, scalable, next-generation solutions.
Our Trainings
Tailored Technical Training
Boost your team’s skills with Titagone’s excellence
→ Fast, targeted upskilling
→ Cutting-edge technologies: Rust, OCaml, Formal Methods, Critical Systems
→ Personalized programs for all levels: Beginner, Advanced, Expert
Our Key Programs:
Rust — Build Security and Performance
• Beginner: Master Rust fundamentals with hands-on workshops (3 days)
• Advanced: Deep dive into core concepts (traits, async, FFI, performance…) (3 days)
• Senior as a Service: Coaching & expert support on your projects
OCaml & Formal Methods — Robustness and Reliability for Critical Systems
• Development for complex, critical software
• Software security & certification
• Tailored expertise for demanding projects
Why Choose Titagone?
✔️ Expert trainers — 80% hold PhDs
✔️ 15 years of experience from R&D to production
✔️ High-performance, reliable, secure technology
Titagone — Excellence, Security, Performance
From cutting-edge R&D to production-ready solutions, we empower your projects with high-level expertise in:
Rust, OCaml, Formal Methods, and Distributed Systems.
Let’s solve your most complex challenges together.
They trust us :
Our Partners :
Driving deep tech projects with trusted startup collaborations.
Partnering on cutting-edge, secure technologies for defense applications.
Empowering our R&D through strategic funding and innovation support.
Supporting innovation for the film industry with Kopek and custom tooling.
Advancing the OCaml ecosystem with our shared technical expertise.