Description: OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) 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.
software (35153) blog (30164) engineering (10254) prototyping (944) r&d (492) tooling (417) state-of-the-art (108) ocaml (45) startup studio (32) ocamlpro (18)
We have years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings. Let’s achieve bold projects together!
We have an outstanding expertise in programming languages, theory, design, compilation, profiling, DSLs, and a lot of development.
We have years of practice in the development of programs and tooling for many programming languages, such as Rust and OCaml advanced functional languages, Solidity and Michelson for smart contracts, and even COBOL and other legacy languages. We designed and implemented many DSLs for our customers, such as Optal for linear optimization, or the Love and Liquidity blockchain languages.