index.md 9.5 KB
Newer Older
zapashcanon's avatar
zapashcanon committed
1
<h1 id="page-title">Harnessing Cutting-Edge Technologies</h1>
zapashcanon's avatar
zapashcanon committed
2

zapashcanon's avatar
zapashcanon committed
3
<hr class="featurette-divider">
zapashcanon's avatar
zapashcanon committed
4

5
<h2 class="page-subtitle">State-of-the-art languages for modern solutions</h2>
zapashcanon's avatar
zapashcanon committed
6
<br />
zapashcanon's avatar
zapashcanon committed
7
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!
zapashcanon's avatar
zapashcanon committed
8
<br />
zapashcanon's avatar
zapashcanon committed
9
<br />
zapashcanon's avatar
zapashcanon committed
10 11
<div class="row">
  <div class="col-lg-4">
12
    <p><img src="assets/img/home_industry.png" /></p>
zapashcanon's avatar
zapashcanon committed
13
    <h3 align="center">For industrial partners who face challenges</h3>
zapashcanon's avatar
zapashcanon committed
14 15
  </div>
  <div class="col-lg-4">
16
    <p><img src="assets/img/home_research.png" /></p>
zapashcanon's avatar
zapashcanon committed
17
    <h3 align="center">For R&amp;D labs who need collaboration</h3>
zapashcanon's avatar
zapashcanon committed
18 19
  </div>
  <div class="col-lg-4">
20
    <p><img src="assets/img/home_dev.png" /></p>
zapashcanon's avatar
zapashcanon committed
21
    <h3 align="center">For developers to reach mastery</h3>
zapashcanon's avatar
zapashcanon committed
22 23
  </div>
</div>
zapashcanon's avatar
zapashcanon committed
24 25 26 27
<br />
<p align="center">
  <a role="button" class="btn btn-primary" href="https://calendly.com/contact-ocamlpro">Let's discuss your projects</a>
</p>
zapashcanon's avatar
zapashcanon committed
28
<hr class="featurette-divider">
zapashcanon's avatar
zapashcanon committed
29

30
<h2 class="page-subtitle">Prototyping software solutions for you</h2>
zapashcanon's avatar
zapashcanon committed
31
<br />
zapashcanon's avatar
zapashcanon committed
32 33 34 35 36

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.

zapashcanon's avatar
zapashcanon committed
37
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.
zapashcanon's avatar
zapashcanon committed
38

zapashcanon's avatar
zapashcanon committed
39
<br />
zapashcanon's avatar
zapashcanon committed
40 41
<div class="row">
  <div class="col-lg-3">
42
    <p><img src="assets/img/logo_opam.png"/></p>
zapashcanon's avatar
zapashcanon committed
43 44 45 46
    <h3 align="center"><a href="https://opam.ocaml.org">opam</a></h3>
    <p>A highly scalable package manager</p>
  </div>
  <div class="col-lg-3">
Dario Pinto's avatar
Dario Pinto committed
47 48 49
    <p><img src="assets/img/logo_ocaml.svg" width="150"/></p>
    <h3 align="center"><a href="https://ocaml-sf.org/learn-ocaml-public/#">Learn OCaml</a></h3>
    <p>Exercise platform for teachers and learners around the world aiming to discover OCaml</p>
zapashcanon's avatar
zapashcanon committed
50 51
  </div>
  <div class="col-lg-3">
Dario Pinto's avatar
Dario Pinto committed
52 53 54
    <p><img src="assets/img/logo_altergo.png" width="150"/></p>
    <h3 align="center"><a href="https://alt-ergo.ocamlpro.com/">Alt-Ergo</a></h3>
    <p>An SMT solver for software verification</p>
zapashcanon's avatar
zapashcanon committed
55
  </div>
zapashcanon's avatar
zapashcanon committed
56
  <div class="col-lg-3">
57
    <p><img src="assets/img/logo_dune.png"/></p>
zapashcanon's avatar
zapashcanon committed
58 59 60 61 62 63
    <h3 align="center"><a href="https://dunscan.io/">DunScan</a></h3>
    <p>The Dune network explorer</p>
  </div>
</div>
<div class="row">
  <div class="col-lg-3">
64
    <p><img src="assets/img/logo_love.png"/></p>
zapashcanon's avatar
zapashcanon committed
65 66 67 68
    <h3 align="center"><a href="https://dune.network/docs/dune-node-next/love-doc/reference/love.htmlo/">LOVE</a></h3>
    <p>A smart-contract language for the Dune Network blockchain</p>
  </div>
  <div class="col-lg-3">
Dario Pinto's avatar
Dario Pinto committed
69 70 71 72 73 74
    <p><img src="assets/img/logo_tezos.svg" width="150"/></p>
    <h3 align="center"><a href="https://en.wikipedia.org/wiki/Tezos">Tezos</a></h3>
    <p>A blockchain with integrated governance</p>
  </div>
  <div class="col-lg-3">
    <p><img src="assets/img/logo_solidity.png" width="200"/></p>
zapashcanon's avatar
zapashcanon committed
75 76 77 78
    <h3 align="center"><a href="https://gitlab.com/o-labs/solidity-parser-ocaml">Solidity parser</a></h3>
    <p>A Solidity Parser in OCaml with Menhir</p>
  </div>
  <div class="col-lg-3">
Dario Pinto's avatar
Dario Pinto committed
79 80 81
    <p><img src="assets/img/logo_tzscan.png"/></p>
    <h3 align="center"><a href="https://tzscan.io/">TZScan</a></h3>
    <p>The Tezos network explorer</p>
zapashcanon's avatar
zapashcanon committed
82 83
  </div>
</div>
Dario Pinto's avatar
Dario Pinto committed
84 85 86 87 88 89 90 91 92 93
<br />

<h4>Other achievements in Formal Methods and DSLs/Programming Language Expertise</h4>

- [tzscan](https://tzscan.io/), the Tezos network explorer
- [Liquidity](https://www.liquidity-lang.org/), a smart-contract language for the Tezos blockchain
- [OPTAL](https://github.com/OcamlPro/optal), Language for Linear Optimization
- [memprof](http://memprof.typerex.org/), non-intrusive memory profiler for OCaml applications
- [Techelson](https://ocamlpro.github.io/techelson/), a test execution engine for Michelson
- [TryOCaml](https://try.ocamlpro.com/), Online top-level for beginners
zapashcanon's avatar
zapashcanon committed
94

zapashcanon's avatar
zapashcanon committed
95 96
<hr class="featurette-divider">

Dario Pinto's avatar
Dario Pinto committed
97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117
  <h2>
      Project with <a href="https://www.mitsubishielectric-rce.eu/">Mitsubishi Electric R&amp;D Centre Europe</a>
  </h2> 

  <p>
    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.
  </p>
<figure class="quote">
  <blockquote class="text-end">
    <p>
      “MERCE was very satisfied of OCamlPro. The project was technically challenging and time constrained, nonetheless OCamlPro met the requirements in time while producing a code of excellent quality.”
    </p>
    <figcaption class="blockquote-footer">
      David Mentré, <cite>MERCE</cite>
    </figcaption>
  </blockquote>
</figure>

<hr class="featurette-divider">

<h1 class="page-subtitle" align="center">You're in good company</h1>
zapashcanon's avatar
zapashcanon committed
118

zapashcanon's avatar
zapashcanon committed
119 120
<br />
<br />
zapashcanon's avatar
zapashcanon committed
121 122
<div class="row">
  <div class="col-lg-2">
123
    <p><a href="https://www.janestreet.com"><img src="assets/img/logo_janestreet.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
124 125
  </div>
  <div class="col-lg-2">
126
    <p><a href="https://www.samsung.com"><img src="assets/img/logo_samsung.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
127 128
  </div>
  <div class="col-lg-2">
zapashcanon's avatar
zapashcanon committed
129
    <p><a href="https://www.mitsubishielectric-rce.eu/"><img src="assets/img/logo_merce.png" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
130 131
  </div>
  <div class="col-lg-2">
132
    <p><a href="https://www.adacore.com/"><img src="assets/img/logo_adacore.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
133 134
  </div>
  <div class="col-lg-2">
135
    <p><a href="https://trust-in-soft.com/"><img src="assets/img/logo_trustinsoft.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
136 137
  </div>
  <div class="col-lg-2">
138
    <p><a href="https://cryptosense.com/"><img src="assets/img/logo_cryptosense.png" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
139 140 141 142
  </div>
</div>
<div class="row">
  <div class="col-lg-2">
143
    <p><a href="https://www.inria.fr"><img src="assets/img/logo_inria.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
144 145
  </div>
  <div class="col-lg-2">
146
    <p><a href="http://www-list.cea.fr"><img src="assets/img/logo_cealist.png" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
147 148
  </div>
  <div class="col-lg-2">
149
    <p><a href="https://www.lexifi.com"><img src="assets/img/logo_lexifi.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
150 151
  </div>
  <div class="col-lg-2">
152
    <p><a href="https://www.bloomberg.com"><img src="assets/img/logo_bloomberg.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
153 154
  </div>
  <div class="col-lg-2">
155
    <p><a href="https://www.facebook.com/"><img src="assets/img/logo_facebook.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
156 157
  </div>
</div>
Dario Pinto's avatar
Dario Pinto committed
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226

<hr class="featurette-divider">

<h2 class="page-subtitle">Sharing our expertise with you: Consulting & Training</h2>
<br />

Our developments are harnessing our expertise on formal methods and the most advanced features of OCaml & Rust. We will help you design robust architectures, choose open-source components, optimize your code and solve performance, memory or compiler issues.

We also support companies that need to get up to speed, with on-demand and customized training designed by our experts.

<br />
<h3>
  Open Source tooling to armour industrial developers
</h3>
<br />

OCamlPro promotes the use of the OCaml functional programming language in the industry, as a token of development productivity and software quality.

We develop and maintain open source tooling for OCaml, such as Opam, [TryOCaml](https://try.ocamlpro.com/), [ocp-indent](https://github.com/OCamlPro/ocp-indent/), [ocp-index](https://github.com/OCamlPro/ocp-index), and ocp-browser.

We contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch. We provided a set of tools to foster OCaml adoption, under the legacy TypeRex codename. From the very beginning, we aimed both simplicity of access and perenity.

<br />
<br />

<div class="row" align="center">
  <div class="col-lg-6">
  <h3>
    <p>
      <img src="assets/img/logo_tryocaml.png" width="150"/>
    </p>
    <a href="https://try.ocamlpro.com/">
      TryOCaml
    </a>
  </h3>
    <p>
      Online top-level for beginners
    </p>
  </div>
  <div class="col-lg-6">
  <h3>
    <p>
      <img src="assets/img/logo_typerex.png" width="150"/>
    </p>
    <a href="https://www.typerex.org/">
      TypeRex
    </a>
    </h3>
    <p>
      OCaml Programming Studio
    </p>
  </div>
</div>

<hr class="featurette-divider">

<h2 class="page-subtitle" align="center">Discover our timeline</h2>

<p align="center">
  Months and months of lockdown have allowed us to take the time to look back on events of the past years and to advertise our strong ties with academic and industrial partners, and our achievements through <a href="https://timelines.cc/view/?timeline=OCamlPro-79628013496459772182883406522017809865">an exhaustive Timeline of OCamlPro’s story</a> of which you can find a small excerpt below.
</p>

<p align="center">
  <a href="https://timelines.cc/">
    You can also create your own timeline here.
  </a>
</p>