OCamlPro

Computer Software - Paris, Île-de-France, France

OCamlPro Employees
Dario Pinto

Junior Software Developer

Contact Dario Pinto

Contact All OCamlPro Employees
OCamlPro Details

For too long a time, the OCaml language has been developed by academics for academics. OCamlPro aims to provide business-level and long-term support to the OCaml language to make it more suitable for use in a wider range of professional environments.OCamlPro is a French software company born in 2011 and located in Paris and Essonne. We are dedicated to improving the quality of software, through the use of formal methods. For that purpose, OCamlPro promotes the use of OCaml, a fast and expressive, statically typed state-of-the-art programming language, matured for more than 30 years in the French public research lab Inria. OCamlPro also develops verification tools, such as the Alt-Ergo theorem prover. Today, we are mostly focusing on three topics:* Formal methods: OCamlPro is involved in collaborative projects with academic and industrial partners to develop tools for software verification, such as the Alt-Ergo SMT Solver (from LRI).* Blockchains: since 2014, OCamlPro has been deeply involved in the development of the Tezos ledger and helped design the Tezos prototype, as well as developed the ICO infrastructure of Tezos on Bitcoin and Ethereum. Since April 2018, OCamlPro has been working for the Tezos Foundation on the Tezos codebase to prepare for the launch. Additionally, OCamlPro initiated several Tezos-related projects, such as TZScan (https://tzscan.io), the Tezos Block Explorer, and Liquidity, a higher-level programming language for smart contracts (http://liquidity-lang.org/), with initial tooling for formal verification using the Why3 (INRIA) and Alt-Ergo tools.* OCaml tooling: we help optimize OCaml (flambda) and design development tools for OCaml (open-source most of the time). Such tools range from command-line tools (such as OPAM or ocp-build), or GUI tools (the OCaml Memory Profiler), to web-based tools (TryOCaml, the OCaml MOOC with the learn-OCaml platform of the OCaml Foundation of Inria).

OCamlPro logo, OCamlPro contact details
Employees: 13
HQ: +33184800481
Location: Paris, Île-de-France, France
Revenue:
OCamlPro Technologies
Email Providers

Gmail

Fonts

Google Font API

Other

Kubernetes

CSS and JavaScript Libraries

Bootstrap Framework

View All Technologies Used At OCamlPro

Contacting OCamlPro: Connect with Executives and Employees

Get in Touch with OCamlPro Executives and Employees

Connecting with OCamlPro's Executives and Workforce

Accessing Contact Information for OCamlPro Executives

Connecting with OCamlPro: Reach Out to Their Team

Discover How to Contact OCamlPro Executives and Staff

Looking to connect with OCamlPro executives or employees?

Seeking to Get in Touch with OCamlPro Executives or Staff?

Want to Reach Out to OCamlPro Executives or Team Members?

In Search of Contact Details for OCamlPro Professionals?

Connecting with OCamlPro: Contacting Executives and Staff

Browse companies
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z