OCamlPro

What OCamlPro does

OCamlPro SAS is a French private company founded in 2011, headquartered in Gif-sur-Yvette with a Paris operational office, that provides PhD-level consulting, audit, training, and custom development services centered on the OCaml programming language and its ecosystem. The firm sells project-based professional services to enterprise R&D teams and public-sector clients whose software stacks require deep expertise in programming language design, formal verification, compiler engineering, and legacy modernization. Named engagements include work for Thales Research and Technology (test generation for C programs, leading to SeaCoral), Mitsubishi Electric R&D Centre Europe (MERCE), and the French Direction Générale des Finances Publiques (DGFIP, on the MLANG income-tax modernization project).

The company's underlying technology is an OCaml-based stack: the team develops and curates the opam package manager (releases 2.2.0, 2.3.0, and 2.4.0 between July 2024 and July 2025, with co-maintainers from Ahrefs and Tarides), contributes the Flambda2 optimizing compiler to the OCaml distribution, and maintains the Alt-Ergo SMT solver together with the Dolmen frontend library, all of which are also integrated as backends into Why3, Frama-C, and TrustInSoft Analyzer. Adjacent productized tools include SuperBOL (a GnuCOBOL-based modernization suite for legacy COBOL), SeaCoral (an automated test generator for C), and Sieste. In 2025 the company launched Red Iron as a wholly owned division offering consulting, audit, prototyping, and custom development in Rust, and migrated its commercial storefront to titagone.com.

Revenue is generated primarily through quote-based professional services (consulting, audit, training, and tech-lead-as-a-service support), supplemented by consulting, support, and Users' Club memberships tied to open-source products such as opam, Alt-Ergo, SuperBOL, and SeaCoral; pricing is not publicly disclosed, no self-serve tier exists, and contracts are typically multi-year and high-touch. The customer base spans aerospace and defense (Thales, MERCE), public finance (DGFIP, CEA List), semiconductors and electronics (Samsung, Siemens, GE HealthCare), capital markets and financial technology (Jane Street, Bloomberg, LexiFi), open-source foundations (Tezos, Software Heritage, Mozilla), and other large technology firms (Meta, Wolfram Alpha). Public research partnerships with Inria, IRILL, AdaCore, TrustInSoft, and funding from ANR and Bpifrance underwrite the company's R&D roadmap, particularly for Alt-Ergo under the DéCySif joint project.

Name

OCamlPro

Legal name

OCamlPro Société par Actions Simplifiée (OCamlPro SAS)

Website

https://ocamlpro.com

Company type

Private

Founded year

2011

Operating status

Operating

Headcount range

11–50 employees

Short description

OCamlPro SAS is a French PhD-led firm providing consulting, audit, training, and custom development for OCaml, Rust, Coq, and COBOL projects, while developing and maintaining core OCaml ecosystem tools (opam, Flambda2, Alt-Ergo) for enterprise, public-sector, and aerospace/defense clients.

Ownership category

akta.pro rank

Headquarters

HQ city

Villebon-sur-yvette

HQ country

France

HQ region

Europe

Offices2 records

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Operations, Marketing or Sales, Infrastructure

Revenue model

1. Consulting and custom development: Project-based professional services: well-specified architecture and efficient implementation, performed directly for enterprise and public-sector clients. Includes "Tech lead as a service" support engagements.
2. Audit and certification services: Codebase audits for special performance, security, and safety requirements; modernization and incremental-remediation roadmaps (e.g., MLANG / income-tax project for DGFIP).
3. Training services: High-level training delivered via training.ocamlpro.com for teams needing deep expertise in Rust, OCaml, Coq, and COBOL.
4. Open-source product support and tooling (opam, Alt-Ergo, SuperBOL, SeaCoral, Sieste): Open-source products distributed under permissive licenses that drive consulting, support contracts, and user-club memberships (e.g., the Alt-Ergo Users' Club).
5. Operational research / industrial optimization services: Industry division hosted at industrie.ocamlpro.com offering optimization and R&D services to industrial clients.

Pricing tiers

Go-to-market motion4 records

Distribution channels1 record

Marketing channels8 records

Core offering

OCamlPro provides PhD-led consulting, audit, training, and custom development services centered on programming language design and advanced software architectures, with deep expertise in OCaml, Rust, Coq, and COBOL. Alongside these services, the company develops and maintains core open-source infrastructure for the OCaml ecosystem, including the opam package manager, the Alt-Ergo SMT theorem prover, the Flambda2 optimising compiler, the SuperBOL COBOL tooling stack, the SeaCoral test generator, and the Sieste tool.

Product overview

OCamlPro's offering combines a services practice (consulting and development, code audit, training, tech-lead-as-a-service support, and operational research) with a portfolio of named open-source products and a dedicated Rust division. The four flagship products listed on the homepage are SeaCoral (test generation), SuperBOL (GnuCOBOL tooling), Alt-Ergo (an SMT theorem prover with bit-vector and optimization support) and Sieste. Beyond the homepage, the OCamlPro team develops and curates the opam package manager and contributes the Flambda2 optimising compiler to the OCaml compiler distribution; SuperBOL is a commercial-grade open-source build of GnuCOBOL for modernizing legacy COBOL code. The company also operates Red Iron, a new division for Rust consulting, audit, prototyping and custom development. OCamlPro's products are complementary: Alt-Ergo serves as a solver backend inside third-party formal-verification frameworks, opam provides the package/build environment for OCaml/Rust/COBOL workflows, SuperBOL modernizes legacy COBOL systems, SeaCoral and Sieste target automated test generation, and Flambda2 powers OCaml's native-code compiler; the consulting and training practice wraps all of these into PhD-led services.

Differentiator

Problem solved

Functional benefit

Brands

• Red Iron: OCamlPro's division offering consulting, audit, prototyping and custom development in Rust
• SuperBOL
• SeaCoral
• Alt-Ergo
• Sieste
• TypeRex

Products and services

• OCamlPro Consulting and Development PhD-led consulting and custom development service covering programming language design, complex architectures, and efficient implementation. Engagements span OCaml, Rust, Coq, and COBOL and target enterprise R&D and public-sector clients.
• OCamlPro Audit Code and system audit service for projects with special performance, security, or safety requirements. Includes codebase assessments, modernization roadmaps, and incremental remediation plans (e.g., the MLANG/income-tax engagement for DGFIP).
• OCamlPro Trainings High-level expert training delivered via training.ocamlpro.com for teams acquiring or deepening expertise in OCaml, Rust, Coq, and COBOL.
• Operational Research and Industrial Optimization Operational research and R&D services for industrial clients, hosted at industrie.ocamlpro.com. The division provides optimization services and applied research to industrial customers.
• Red Iron (Rust Division) OCamlPro's dedicated Rust division offering consulting, audit, prototyping, and custom development services in the Rust programming language.
• opam Package Manager De facto package and environment manager for the OCaml ecosystem. Provides local and global switches, dependency resolution, lock files, opam-publish, and Software Heritage fallbacks. Maintained by OCamlPro in partnership with Ahrefs and Tarides.
• Flambda2 Optimising Compiler Purely functional optimising compiler for OCaml operating on a CPS-based intermediate representation, featuring speculative inlining, simplification, dead-code elimination, the Loopify pass, and an inlining-report generator. Contributed by OCamlPro to the OCaml compiler toolchain.
• Alt-Ergo Theorem Prover Open-source automated SMT solver for formal verification. Supports bit-vectors, algebraic data types, model generation, and SMT-LIB optimization. Used as a solver backend in TrustInSoft Analyzer, Frama-C, and Why3.
• SuperBOL for GnuCOBOL Open-source tooling on top of GnuCOBOL designed to modernize and improve legacy COBOL codebases, including debugging, auditing, and tooling layers for COBOL infrastructure.
• SeaCoral Test Generator Automated test generation tool for C programs, built on OCamlPro's formal-methods expertise and co-developed with Thales Research and Technology.
• Sieste Tool listed on OCamlPro's products menu (titagone.com/tools/sieste). Detailed description not provided in the source material.

Quantifiable outcome

• Reduced a critical query on the Roglo/Geneweb database from 77s to 4s (≈18x speedup) on a 10M+ person, 80,000+ line codebase
• +2 more outcomes

Named customers18 records

Segments5 records

Ideal customer profiles4 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration6 records

AI capability5 records

Feature7 records

Partnerships

Twelve partnerships are on record, tiered flagship / core ecosystem partner, core ecosystem partner, core research partner, regional ecosystem partner, regional partner, adjacent partner, major co-development partnership, core co-maintainer partners, strategic customer/funder consortium, flagship commercial platform partner and core open-source collaboration partner.

• OCaml Software Foundationflagship / core ecosystem partnerStrategic or Co-development PartnerOCamlPro partners with the OCaml Software Foundation (ocaml-sf.org), the foundation that supports the OCaml language and its community. The foundation is explicitly acknowledged as supporting the OCamlPro opam deep-dives blog series.
• Inriacore ecosystem partnerStrategic or Co-development PartnerOCamlPro partners with Inria, the French national research institute that created and continues to develop the OCaml language. TypeRex includes parts of the OCaml system developed by Inria and its contributors.
• IRILLcore research partnerStrategic or Co-development PartnerOCamlPro partners with IRILL (Initiative de Recherche et d'Innovation sur le Logiciel Libre), the French research initiative on free software hosted at Inria.
• Systematic Paris Regionregional ecosystem partnerGTM or Marketing PartnerOCamlPro is a member of the Systematic Paris Region competitiveness cluster, which brings together deep-tech players in the Paris region.
• Paris Regionregional partnerGTM or Marketing PartnerOCamlPro partners with the Paris Region (Île-de-France) regional development authority, which supports deep-tech and innovation in the region.
• La French Tech Grand Parisregional ecosystem partnerGTM or Marketing PartnerOCamlPro partners with La French Tech Grand Paris, the French Tech capital chapter supporting the Paris-area startup and tech ecosystem.
• CNC (Centre national du cinéma et de l'image animée)adjacent partnerStrategic or Co-development PartnerOCamlPro partners with the CNC, the French national center for cinema and animation, listed in the partner wall.
• AdaCore, Inria, TrustInSoft (DéCySif joint research project / i-Démo)major co-development partnershipStrategic or Co-development PartnerDéCySif is a joint research project (i-Démo) between AdaCore, Inria, OCamlPro, and TrustInSoft that has accelerated Alt-Ergo development. Improvements to bit-vectors and algebraic data types in Alt-Ergo 2.6 are explicitly sponsored by the DéCySif project.
• Ahrefs (Kate Deplaix), Tarides (David Allsopp)core co-maintainer partnersStrategic or Co-development PartnerOCamlPro co-leads opam releases (2.3.0, 2.4.0) with Ahrefs (Kate Deplaix) and Tarides (David Allsopp), forming the cross-company opam maintainer team.
• Alt-Ergo Users' Club members (AdaCore, CEA, Thales, Mitsubishi Electric R&D Center Europe / MERCE, TrustInSoft)strategic customer/funder consortiumStrategic or Co-development PartnerThe Alt-Ergo Users' Club brings together industrial and academic members who fund and guide Alt-Ergo's roadmap. MERCE has been a member for four years; special thanks are given to David Mentré and Denis Cousineau at MERCE for funding the initial optimization work.
• Titagoneflagship commercial platform partnerOEM/ Whitelabel/ Licensing PartnerOCamlPro has migrated its commercial activities to titagone.com, which also hosts its commercial products (SeaCoral, Alt-Ergo, Sieste).
• OCaml Foundation (Catala Project / MLANG)core open-source collaboration partnerStrategic or Co-development PartnerOCamlPro collaborated with Denis Merigoux, the initial main coordinator of the MLANG Project and co-founder of the Catala Project, on the income tax calculation project for DGFIP. The work involved intense reverse-engineering and incremental modernization.

Scale indicators6 records

Recent moves7 records

Expansion highlights5 records

Direct peers

• Tarides: Closely related French commercial OCaml company; co-maintains opam with OCamlPro (David Allsopp) and offers OCaml-based consulting, training, and platform/cloud infrastructure for OCaml workloads. Operates in the same niche from the same Paris ecosystem with a similar PhD-heavy profile.
• LexiFi: OCamlPro customer and OCaml-built financial-derivatives pricing platform; both companies sit at the intersection of OCaml engineering and structured finance/industrial software, and LexiFi serves as a reference deployment of OCaml in production financial systems.
• AdaCore: Co-development partner in the DéCySif joint research project with OCamlPro and a customer logo on OCamlPro's wall; AdaCore sells commercial tooling, support, and training around Ada/SPARK, a programming language with the same formal-verification and safety-critical positioning as OCaml in OCamlPro's offering.
• TrustInSoft: DéCySif partner and OCamlPro customer; commercializes formal-verification tools (TrustInSoft Analyzer) built partly on Alt-Ergo. Operates as a competitor-and-partner in the C/C++ formal verification space that consumes OCamlPro's open-source solver output.

Broad incumbents

• Jane Street: Largest industrial OCaml employer and OCamlPro customer; operates a massive in-house OCaml engineering and tooling organization, including compiler work that overlaps with Flambda2. Comparable as the canonical industrial-OCaml user, but as an incumbent trading firm rather than a commercial services vendor.
• Galois: US-based R&D services firm specializing in formal methods, programming language design, and high-assurance software — directly comparable services offering to OCamlPro's audit and consulting practice, but at much larger scale and broader scope.

Emerging players

• Certify: Provider of formal verification services and tooling for safety-critical software; competes with OCamlPro in formal-verification consulting and shares the PhD-led delivery model, though with a more US-centric footprint.
• Runtime Verification: Formal-verification and runtime-monitoring services firm using tools like the K framework; competes with OCamlPro in formal methods consulting for safety-critical systems and shares formal-methods pedigree, though anchored more in semantics than in OCaml specifically.

Regional players

• INRIA (OCaml team): French national research institute that created and continues to develop OCaml; OCamlPro partners with Inria on TypeRex and DéCySif. Inria is not a commercial vendor, but it competes for OCaml ecosystem mindshare and produces overlapping research output.

Others

• Frama-C: Open-source static-analysis framework for C code that uses Alt-Ergo as one of its solver backends; comparable as a formal-verification ecosystem player that OCamlPro's products integrate with, but not a commercial services competitor.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks6 records

Key highlights6 records

Customer concentration

• Xx.com/ocamlpro
• LinkedInlinkedin.com/company/2152404

Revenue estimate

Valuation estimate

Number of profiles

Profiles12 records

Subsidiaries2 records

Funding overview

Funding rounds1 record

Investors1 record

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about OCamlPro