Harnessing Cutting-Edge Technologies


State-of-the-art languages for modern solutions


We have years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings. Let’s achieve bold projects together!

For industrial partners who face challenges

For R&D labs who need collaboration

For developers to reach mastery


Let's discuss your projects


Prototyping software solutions for you


We design and implement reliable high-value solutions for our clients. As a challenge-driven team, we can find with you the most elegant and efficient solutions to optimize your products or create new ones. OCamlPro has a record of outstanding technological achievements and success stories, in areas from web tools to distributed frameworks, DSLs and formal methods. We also built a strong blockchain expertise since 2014 on the Tezos and Dune Network blockchains. Developments are done in OCaml or Rust, and then integrated with other software in any language (C, C++, Python, Java, etc.). Our applications are extensible and maintainable, fully independent from web servers, portable to all mainstream browsers. We cater to very specific needs. For example, we can translate a “black box” application from a programming language (Go, Coq, Cobol…) to a comprehensive language for your current team. Whether an ex-employee or a contractor coded everything in a language your current team hasn’t mastered, or it’s running on a legacy language, we can provide assistance.

opam

A highly scalable package manager

memprof

Non-intrusive memory profiler for OCaml applications

TryOCaml

Online OCaml toplevel for beginners

Tezos

A blockchain with integrated governance

DunScan

The Dune network explorer

TZScan

The Tezos network explorer

Alt-Ergo

An SMT solver for software verification

Techelson

A test execution engine for Michelson

Liquidity

A smart-contract language for the Tezos blockchain

LOVE

A smart-contract language for the Dune Network blockchain

Solidity parser

A Solidity Parser in OCaml with Menhir

Optal

A language for linear optimization


You're in good company