OCamlPro
Created in 2011
- BETA
Up & running (A)
Existing signals show a regular activity Social networks
742Activities
Technologies
Entity types
Location
Rue de Châtillon, 75014 Paris, France
Paris
France
Employees
Scale: 11-50
Estimated: 19
SIREN
531468429Engaged corporates
22
1 15Added in Motherbase
5 years ago
IT Services Value proposition
State-of-the-art languages & technologies to tackle deep-tech challenges #Design #OCaml #Rust #Formal Methods
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 harnesses state-of-the-art languages like #OCaml and #Rust to help you design & implement safe & powerful software #Formal Methods
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).
Certification, Safety, Prototyping, Language Design, DSLs, Open Source Maintenance, Formal Methods, SMT Solvers, Computer Science, Reasearch & Development, OCaml, Rust, GnuCOBOL, and C/C++Original language
State-of-the-art languages & technologies to tackle deep-tech challenges #Design #OCaml #Rust #Formal Methods
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 harnesses state-of-the-art languages like #OCaml and #Rust to help you design & implement safe & powerful software #Formal Methods
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).
Expert Solutions for Complex Challenges | OCamlPro
OCamlPro tackles complex design challenges (Domain Specific Languages, Blockchains) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
https://ocamlpro.com/
| Corporate | Type | Tweets | Articles | |
|---|---|---|---|---|
 Dassault Systèmes IT services, Software Development | Dassault Systèmes IT services, Software Development | Other 29 Jan 2024 | | |
 | Hub France IA | Other 16 Dec 2023 | | |
 STMicroelectronics Semiconductors, Semiconductor Manufacturing | STMicroelectronics Semiconductors, Semiconductor Manufacturing | Other 16 Dec 2023 | | |
 Erganeo Research, National and local authorities, Research Services | Erganeo Research, National and local authorities, Research Services | Other 16 Dec 2023 | | |
 Valeo Automobile, Motor Vehicle Manufacturing | Valeo Automobile, Motor Vehicle Manufacturing | Other 16 Dec 2023 | | |
 La French Tech Grand Paris French Tech, IT Services and IT Consulting | La French Tech Grand Paris French Tech, IT Services and IT Consulting | Other 20 Nov 2023 | | |
 La French Tech Media, Government Administration | La French Tech Media, Government Administration | Other 14 Apr 2024 | | |
 STATION F Startup accelerator & VC, Software Development | STATION F Startup accelerator & VC, Software Development | Other 17 Nov 2023 | | |
 Sopra Steria Consulting, audit, IT Services and IT Consulting | Sopra Steria Consulting, audit, IT Services and IT Consulting | Other 25 Oct 2023 | | |
 Atos IT services, IT Services and IT Consulting | Atos IT services, IT Services and IT Consulting | Other 25 Oct 2023 | | |