Blockchains @ OCamlPro

Our Blockchain Tools

TzScan, Tezos Block Explorer

TzScan is the best block explorer for Tezos. TzScan provides a free API to access all the content of the Tezos blockchain. It is also available in open source for private deployments. Contact us for support, advanced features and advertisement

Liquidity, Smart Contract Language

Liquidity is a high-level language for Tezos over Michelson. See our online editor to get started ! Contact us if you need support, training or auditing of your smart contracts

Techelson, Testing Framework for Contracts

Techelson is a test execution engine for the functional properties of Michelson smart contracts. Contact us to customize the engine to suit your own needs!

IronTez, the Optimized Tezos Node

IronTez is a tailored Tezos node for private deployment which improves storage, allows an easy configuration of the private network and provides additional Michelson instructions (GET_STORAGE, CATCH...). Contact us for more information!

Our Blockchain Services

Custom adaptation of our tools for your specific needs: TzScan, Liquidity, IronTez, Techelson
Development of Smart Contracts
Development of new Protocol Amendments for Tezos
Development of Full Blockchain Applications
Deployments of private Tezos networks
Tailored Services for Tezos : Node hosting, Premium APIs
Auditing and Comprehensive Analysis of Smart Contracts
Training Liquidity or Tezos sessions for your team

Our Team

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 crowdfunding platform (on Ethereum and Bitcoin) that would allow the Tezos Foundation 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.
  • 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.

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.

 

Contact Us

Reach out at contact@ocamlpro.com!