Harnessing Cutting-Edge Technologies

State-of-the-art languages for modern solutions

Programming Languages

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.

Formal Methods

Most of our developers are PhD-level experts in formal specification and automated verification of programs and smart contracts.

We have a huge experience in specification, audit and verification of systems and programs. We maintain the Alt-Ergo automatic SMT solver within the Alt-Ergo Users' Club. We have experience in formal modeling that is relevant for EAL6+ certification with tools like Coq.

We are part of the Everscale Formal Methods sub-governance, in charge of auditing and verifying Solidity smart contracts.

Blockchain & Distribution

We have more than twenty years of experience in the design of distributed systems and the development of blockchains.

We design blockchain applications using the most advanced technologies, such as Avalanche and Everscale. Since 2014, we developed the prototype of the Tezos blockchain, its ICO infrastructure, the TzScan block-explorer, the Michelson to Liquidity decompiler, the Ironmin storage layer and many other tools to easily interact with the most complex blockchain environments. We develop and audit smart contracts in various programming languages, such as Solidity or Michelson.

Professional services for demanding customers

Consulting and Training

You are starting an ambitious project ? We can team up with you to analyse your project and provide the best technical advices to help you meet your goals.

We have a long experience of software project, from prototyping innovative software to modernization of legacy infrastructures. We always know the expert that you need for any specific domain. We also like to share our knowledge through beginers and experts training in computer fields.

Research & Development

Research and innovation is in our DNA. We enjoy solving challenging problems using our academic backgrounds.

With a large team of PhD-level engineers, we are involved in many research projects, and always looking for new ones to solve! We are labelled as a private research lab for French CIR for direct contracts, and we also enjoy partnering through collaborative national or european R&D projects.

Audit and Certification

With an outstanding expertise in software development and formal verification, we are able to audit any software and provide certification using formal methods.

We audit and verify critical software systems in most programming languages, from smart contracts written in languages such as Solidity or Michelson, to cybersecurity systems that must conform to Common Criteria at EAL6 and more levels.

OCaml and Rust Development

We use the most reliable and performant technologies to develop the software that you really want.

We always choose the best programming language for the solution that we have to develop: we often use OCaml, because it is the most expressive (far more than Python for example), yet with a modern type-system and C-like performance. It made us one of the top open-source contributors in the OCaml ecosystem. For performance-critical applications, we often switch to Rust, that provides astonishing speed.

Blockchain Applications

We develop complete and reliable web3 applications for any blockchain technology, in a timely manner.

We have been in the blockchain space for a longer time than most other companies, developing projects from blockchain core protocols to full web3 applications for various blockchains, such as Everscale, Avalanche and Tezos. Every new project is an opportunity to learn and use our skills in a domain full of disruptions. We are currently working on projects around DeFi, NFTs, etc.

Startup Studio

We have a unique way to work with startups, as techno-founders, investing not money but technology!

We enjoy meeting startups and discovering their projects, often providing insightful advices. Sometimes, we like a project so much that we decide to invest in it: many startups need developers more than they need funds, so that's what we provide to them! Our highly-experienced team is a real assets to meet your market on time!

Prototyping software solutions for you

We design and implement reliable high-value solutions for our clients. As a challenge-driven team, we can find with you the most elegant and efficient solutions to optimize your products or create new ones.

OCamlPro has a record of outstanding technological achievements and success stories, in areas from web tools to distributed frameworks, DSLs and formal methods. We also built a strong blockchain expertise since 2014 on the Tezos and Dune Network blockchains. Developments are done in OCaml or Rust, and then integrated with other software in any language (C, C++, Python, Java, etc.). Our applications are extensible and maintainable, fully independent from web servers, portable to all mainstream browsers.

We cater to very specific needs. For example, we can translate a “black box” application from a programming language (Go, Coq, Cobol…) to a comprehensive language for your current team. Whether an ex-employee or a contractor coded everything in a language your current team hasn’t mastered, or it’s running on a legacy language, we can provide assistance.

Other achievements in Formal Methods and DSLs/Programming Language Expertise

• tzscan, the Tezos network explorer
• Liquidity, a smart-contract language for the Tezos blockchain
• OPTAL, Language for Linear Optimization
• memprof, non-intrusive memory profiler for OCaml applications
• Techelson, a test execution engine for Michelson
• TryOcaml, Online top-level for beginners

Project with Mitsubishi Electric R&D Centre Europe

Starting from a specification provided by MERCE, we designed and implemented a formal verification analysis tool to check a particular class of safety properties over C programs. The tool was implemented as a Frama-C plug-in and came with fully fledged user and formal documentation.

You're in good company