OCaml Memory Profiler
Profile your OCaml application
OCaml Binary Distribution for Windows
SMT-Solver for Software Verification
A smart-contract language for Tezos
Highly-Scalable Package Manager
Open-Source Tools and Libraries for OCaml
Scilab Style Checking Tools
OCaml Training Platform
Online Exercices to Teach OCaml
Online Scilab Toplevel for Beginners
Online OCaml Toplevel for Beginners
High-quality Software Development
Technical Support for OCaml Developers
Training and Courses for Software Developers
Research & Development
Collaborative Research and Development Projects
Language for Linear Optimization
A Blockchain with Integrated Governance
Blockchain Applications over Bitcoin, Ethereum and Tezos
OCamlPro was created in April 2011 by former members of the French INRIA Institute. OCamlPro initial goal was to boost the development of OCaml and to promote it as the language of choice for software development in the Industry. OCamlPro is an official member of the Caml Consortium, and includes members of the OCaml core development team. OCamlPro also develops tools in OCaml to improve the code quality of programs written in other languages such as C and Scilab.
OCamlPro's high-level experts develop software solutions in any domain requiring their knowledge in complex algorithms and formal methods.
OCamlPro does a lot of research and development (R&D), and maintains strong ties and collaborations with public research labs, such as IRILL in Paris and OCamlLabs in Cambridge.