The world leader in OCaml expertise
Founded as OCamlPro, promoting and advancing OCaml has been our mission from the start. We are the only company that masters the entire chain, from the compiler to critical industrial applications. The community's best contributors either work here or work with us.
The only team that masters the entire OCaml chain
Active contributors to the OCaml compiler, to the official tooling and to the open-source ecosystem. From language design to certified training, by way of SMT solvers, DSLs and critical applications.
Our OCaml capabilities
OCaml compiler contributions
Flambda2, backend optimizations, language extensions. We evolve the compiler itself.
Qualiopi-certified OCaml training
From beginner to expert, OPCO fundable, taught by the compiler's authors.
SMT solvers
Like Alt-Ergo for automated verification.
DSL design
Domain-specific languages with guaranteed formal semantics.
High-frequency trading systems
With OCaml compiler optimizations delivering measurable performance gains.
Challenges we solve with OCaml
Formal verification tools
Building industrial-strength SMT solvers and proof assistants in OCaml that mathematically prove software correctness, reaching 98% automatic proof success rates.
Ultra-low-latency trading systems
Delivering microsecond-optimized OCaml compilers and runtime performance improvements for quantitative trading firms where every nanosecond counts.
Compiler & language design
Designing domain-specific languages and compilers in OCaml, from blockchain protocol languages to financial modeling DSLs with formal guarantees.
Blockchain protocol engineering
Engineering blockchain protocols in OCaml with built-in formal verification, including the Tezos protocol's core implementation.
Projects built with OCaml expertise
Accelerating Quantitative Trading
Discover how Titagone helped Jane Street achieve 20% performance gains in their quantitative trading systems using advanced OCaml compiler optimizations.
Driving SMT-Based Program Verification for Industry
Discover how Alt-Ergo evolved from a research prototype into an industrial-strength SMT solver, reaching 98% automatic proof success for critical systems.
Pioneering the First Proof-of-Stake Blockchain
Pioneered one of the first proof-of-stake blockchains, processing $250 million in ICO within weeks.