Entity
Description
  • Value proposition

    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.

    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

  • Original language

    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.

  • Expert Solutions for Complex Challenges | OCamlPro

    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.

  • https://ocamlpro.com/
Corporate interactions BETA
Corporate TypeTweets Articles
Cigref
Cigref
IT Services and IT Consulting
Cigref
IT Services and IT Consulting
Other

22 Oct 2024


Worldline
Worldline
Financial Services
Worldline
Financial Services
Other

22 Oct 2024


Broadcom
Broadcom
Semiconductors, Semiconductor Manufacturing
Broadcom
Semiconductors, Semiconductor Manufacturing
Other

20 Oct 2024


Direction générale des Finances publiques
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
Huawei
Electricals, Telecommunications
Huawei
Electricals, Telecommunications
Other

27 Jun 2024


Thales Digital Identity and Security
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
Dassault Systèmes
IT services, Software Development
Dassault Systèmes
IT services, Software Development
Other

29 Jan 2024


Hub France IA Hub France IA
Other

16 Dec 2023


STMicroelectronics
STMicroelectronics
Semiconductors, Semiconductor Manufacturing
STMicroelectronics
Semiconductors, Semiconductor Manufacturing
Other

16 Dec 2023


Erganeo
Erganeo
Research, National and local authorities, Research Services
Erganeo
Research, National and local authorities, Research Services
Other

16 Dec 2023


Similar entities
Loading...
Loading...
Social network dynamics