Let's discuss your projects
A highly scalable package manager
Exercise platform for teachers and learners around the world aiming to discover OCaml
An SMT solver for software verification
Smart-contract languages for the Dune Network & Tezos blockchains
A blockchain with integrated governance
A Solidity Parser in OCaml with Menhir
A language for linear optimisation
Starting from a specification provided by MERCE, we designed and implemented a formal verification analysis tool to check a particular class of safety properties over C programs. The tool was implemented as a Frama-C plug-in and came with fully fledged user and formal documentation.
Months and months of lockdown have allowed us to take the time to look back on events of the past years and to advertise our strong ties with academic and industrial partners, and our achievements through an exhaustive Timeline of OCamlPro’s story of which you can find a small excerpt below.
You can also create your own timeline here.