Social networks
400 2,027 847Activities
Technologies
Entity types
Location
Rue de Châtillon, 75014 Paris, France
Paris
France
Employees
Scale: 11-50
Estimated: 19
SIREN
531468429Engaged corporates
29Added in Motherbase
5 years, 7 months agoState-of-the-art languages & technologies to tackle deep-tech challenges #Design #Safety #OCaml-Rust #Formal Methods
OCamlPro harnesses state-of-the-art languages like #OCaml and #Rust to help design & implement safe & powerful software #Formal Methods
OCamlPro is a French software company born in 2011 and located in Paris, Lyon, Rennes and Toulouse. We are dedicated to improving the quality of software, through the use of formal methods. For that purpose, OCamlPro promotes the use of state-of-the-art programming languages like OCaml and Rust, matured for decades in Public Research labs in the world.
We harness our Programming Languages expertise to help audit and optimize (or migrate) core infrastructures.
And we develop safety-oriented verification and testing tools, such as the Alt-Ergo theorem prover, the OWI (OCaml Wasm Interpreter) Toolchain, the Autocouv Seacoral automated testing framework.
Our mains focus are:
* Prototyping (OCaml / Rust), Dev tooling and Language audit and design (DSLs, COBOL migration): we help optimize critical infrastructure core pieces and we design ad hoc specific languages (DSLs) for business lines like cinema revenues share computation or tax calculation, or combinatorial optimization in logistics. We also offer open source tools to developers. And we 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.
* 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), the Autocouv Project for automated testing, OWI a post-JavaScript OCaml Wasm Interpreter toolchain.
* Blockchain (now essentially training): from 2014, design and development of the Tezos prototype and ICO on Bitcoin and Ethereum, as well as several related projects - a block explorer and a higher-level programming language for smart contracts, with initial tooling for formal verification using the Why3 (INRIA) and Alt-Ergo tools.
Certification, Safety, Prototyping, Language Design, DSLs, Open Source Maintenance, Formal Methods, SMT Solvers, Computer Science, Reasearch & Development, OCaml, Rust, GnuCOBOL, C/C++, and Automated testing
State-of-the-art languages & technologies to tackle deep-tech challenges #Design #Safety #OCaml-Rust #Formal Methods
OCamlPro harnesses state-of-the-art languages like #OCaml and #Rust to help design & implement safe & powerful software #Formal Methods
OCamlPro is a French software company born in 2011 and located in Paris, Lyon, Rennes and Toulouse. We are dedicated to improving the quality of software, through the use of formal methods. For that purpose, OCamlPro promotes the use of state-of-the-art programming languages like OCaml and Rust, matured for decades in Public Research labs in the world.
We harness our Programming Languages expertise to help audit and optimize (or migrate) core infrastructures.
And we develop safety-oriented verification and testing tools, such as the Alt-Ergo theorem prover, the OWI (OCaml Wasm Interpreter) Toolchain, the Autocouv Seacoral automated testing framework.
Our mains focus are:
* Prototyping (OCaml / Rust), Dev tooling and Language audit and design (DSLs, COBOL migration): we help optimize critical infrastructure core pieces and we design ad hoc specific languages (DSLs) for business lines like cinema revenues share computation or tax calculation, or combinatorial optimization in logistics. We also offer open source tools to developers. And we 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.
* 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), the Autocouv Project for automated testing, OWI a post-JavaScript OCaml Wasm Interpreter toolchain.
* Blockchain (now essentially training): from 2014, design and development of the Tezos prototype and ICO on Bitcoin and Ethereum, as well as several related projects - a block explorer and a higher-level programming language for smart contracts, with initial tooling for formal verification using the Why3 (INRIA) and Alt-Ergo tools.
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) 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.
Corporate | Type | Tweets | Articles | |
---|---|---|---|---|
Cigref IT Services and IT Consulting | Cigref IT Services and IT Consulting | Other 22 Oct 2024 | | |
Worldline Financial Services | Worldline Financial Services | Other 22 Oct 2024 | | |
Broadcom Semiconductors, Semiconductor Manufacturing | Broadcom Semiconductors, Semiconductor Manufacturing | Other 20 Oct 2024 | | |
Direction générale des Finances publiques National and local authorities | Direction générale des Finances publiques National and local authorities | Other 4 Sep 2024 | | |
Huawei Electricals, Telecommunications | Huawei Electricals, Telecommunications | Other 27 Jun 2024 | | |
Thales Digital Identity and Security IT services, IT Services and IT Consulting | Thales Digital Identity and Security IT services, IT Services and IT Consulting | Other 12 Jun 2024 | | |
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 | |