index.md 14.4 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
  <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>
104
<figure class="quote" id="mitsubishi-merce">
Dario Pinto's avatar
Dario Pinto committed
105 106 107 108 109 110 111 112 113 114 115 116
  <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">

117
<h2 class="page-subtitle" align="center">You're in good company</h2>
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
  </div>
zapashcanon's avatar
zapashcanon committed
157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173
  <div class="col-lg-2">
    <p><a href="https://dune.network/"><img src="assets/img/logo_dune_network.svg" width="150"/></a></p>
  </div>
</div>
<div class="row">
  <div class="col-lg-2">
    <p><a href="https://ocaml-sf.org/"><img src="assets/img/logo_fondation_ocaml.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.irill.org/"><img src="assets/img/logo_irill.png" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://origin-labs.com/"><img src="assets/img/logo_origin_labs.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://systematic-paris-region.org/"><img src="assets/img/logo_systematic-paris-region.png" width="150"/></a></p>
  </div>
zapashcanon's avatar
zapashcanon committed
174
</div>
Dario Pinto's avatar
Dario Pinto committed
175 176 177 178 179 180 181 182 183 184 185 186 187 188

<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>
Dario Pinto's avatar
Dario Pinto committed
189 190 191
<br />
<br />

Dario Pinto's avatar
Dario Pinto committed
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 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269
<!-- All the code for the timeline below has been taken from the following: https://www.bootdey.com/snippets/view/timeline-steps -->
<div class="row">
        <div class="col">
            <div class="timeline-steps aos-init aos-animate" data-aos="fade-up">
                <div class="timeline-step">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="OCamlPro is founded by Inria researchers." data-original-title="2011">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2011</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">OCamlPro is founded by Inria researchers.</p>
                    </div>
                </div>
                <div class="timeline-step">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="Working on a development toolsuite: the Typerex initiative." data-original-title="2012">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2012</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">Working on a development toolsuite: the Typerex initiative.</p>
                    </div>
                </div>
                <div class="timeline-step">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="Release of the package manager OPAM 1.0." data-original-title="2013">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2013</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">Release of the package manager OPAM 1.0.</p>
                    </div>
                </div>
                <div class="timeline-step">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="Release of the Flambda optimizing compiler in OCaml" data-original-title="2014">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2014</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">Release of Flambda optimizing compiler in OCaml.</p>
                    </div>
                </div>
                <div class="timeline-step mb-0">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="OCamlPro develops the Irill/Paris 7 OCaml FUN Mooc" data-original-title="2015">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2015</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">OCamlPro develops the Irill/Paris 7 OCaml FUN Mooc.</p>
                    </div>
                </div>
                <div class="timeline-step mb-0">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="The Alt-Ergo SMT Solver v1.30 is released." data-original-title="2016">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2016</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">The Alt-Ergo SMT Solver v1.30 is released.</p>
                    </div>
                </div>
                <div class="timeline-step mb-0">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools." data-original-title="2017">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2017</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools.</p>
                    </div>
                </div>
                <div class="timeline-step mb-0">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="Inria’s OCaml Software Foundation is created." data-original-title="2018">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2018</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">Inria’s OCaml Software Foundation is created.</p>
                    </div>
                </div>
                <div class="timeline-step mb-0">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="New company Origin Labs is created to tackle blockchain-related challenges." data-original-title="2019">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2019</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">New company Origin Labs is created to tackle blockchain-related challenges.</p>
                    </div>
                </div>
                <div class="timeline-step mb-0">
                    <div class="timeline-content" data-toggle="popover" data-trigger="hover" data-placement="top" title="" data-content="Alt-Ergo Users’ Club 2nd annual meeting" data-original-title="2020">
                        <div class="inner-circle"></div>
                        <p class="h6 mt-3 mb-1">2020</p>
                        <p class="h6 text-muted mb-0 mb-lg-0">Alt-Ergo Users’ Club 2nd annual meeting.</p>
                    </div>
                </div>
            </div>
        </div>
    </div>
<!-- All the code for the timeline above has been taken from the following: https://www.bootdey.com/snippets/view/timeline-steps -->
Dario Pinto's avatar
Dario Pinto committed
270