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
The Dune network explorer
A smart-contract language for the Dune Network blockchain
A blockchain with integrated governance
A Solidity Parser in OCaml with Menhir
The Tezos network explorer
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.
OCamlPro is founded by Inria researchers.
Working on a development toolsuite: the Typerex initiative.
Release of the package manager OPAM 1.0.
Release of Flambda optimizing compiler in OCaml.
OCamlPro develops the Irill/Paris 7 OCaml FUN Mooc.
The Alt-Ergo SMT Solver v1.30 is released.
OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools.
Inria’s OCaml Software Foundation is created.
New company Origin Labs is created to tackle blockchain-related challenges.
Alt-Ergo Users’ Club 2nd annual meeting.