Blockchains @ OCamlPro
OCamlPro is a Research & Development studio, with a huge experience in the development of blockchain applications. We create tools and provide services to help companies build new businesses on blockchains, especially around the Tezos ledger.
Our Blockchain Tools
Our Blockchain Services
A France-based company with a solid team of PhD-level engineers, OCamlPro has been involved in the development of Tezos as early as 2014. We built the very prototype of Tezos and developed the fundraising platform on Ethereum and Bitcoin, that the Tezos Foundation used to raise $235M.
Since then, we have been busy:
- We created Liquidity, a high-level typed smart-contract language for Tezos that strictly complies with Michelson security restrictions. A formal verification framework is now under development. Liquidity is fully funded by OCamlPro.
- We launched our block explorer for Tezos, TzScan. It aims to provide a stellar service to Tezos users, bakers and development team. TzScan provides many features specific to Tezos delegated proof-of-stake protocol and TzScan API allows wallets or delegation services to provide additional information to their users. TzScan is today solely funded by OCamlPro.
Even before the emergence of blockchains, our engineers were important contributors of open source peer-to-peer infrastructure projects, such as MLdonkey (multi-protocol P2P file sharing client), OCsigen (web server running on OCaml) or Peerple (P2P social network).
Learn more about OCamlPro on our website.
Reach out at email@example.com!