Rust Expertise @ OCamlPro

About us

OCamlPro is a French software company, with a strong expertise in programming languages and formal methods. Our developers and experts have been developing software with high added-value for more than 10 years.

Along these years, we touched many different domains, among which:

• Blockchains: we audited the assembler code in Rust and the Solidity smart contracts of the Everscale blockchain, we developed the prototypes of the Tezos and Dune Network blockchains, etc.
• Development tools: we developed a Rust web interface to the OCaml memory profiler, we developed and maintain the Opam package manager, etc.
• Compilers and DSLs: we have members of the OCaml core compiler team, and contributors to the GNUCobol compiler.
• Formal Methods: we developed several formal method tools in Rust (Matla, SAT-Micro-Rust, Mikino, etc.)
• Education: we all graduated from the top French engineer schools and universities, from masters to PhD-levels.

Over the years, the Rust language has become one of our favorite languages, especially for high-performance applications.

CIR Agreement: OCamlPro benefits from a CIR agreement, that allows its French customers to recover30% of their costs on R&D outsourced work at OCamlPro, through the Crédit Impôt Recherche.

Contact us

If you wonder whether Rust is suited for your project, or just wondering what we could do for you, the best way to find out is to contact us!

Just fill this form!