index.md 6.52 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">
47
    <p><img src="assets/img/logo_memprof.png"/></p>
zapashcanon's avatar
zapashcanon committed
48
    <h3 align="center"><a href="http://memprof.typerex.org/">memprof</a></h3>
zapashcanon's avatar
zapashcanon committed
49
    <p>Non-intrusive memory profiler for OCaml applications</p>
zapashcanon's avatar
zapashcanon committed
50 51
  </div>
  <div class="col-lg-3">
52
    <p><img src="assets/img/logo_tryocaml.png"/></p>
zapashcanon's avatar
zapashcanon committed
53 54 55 56
    <h3 align="center"><a href="https://try.ocamlpro.com/">TryOCaml</a></h3>
    <p>Online OCaml toplevel for beginners</p>
  </div>
  <div class="col-lg-3">
57
    <p><img src="assets/img/logo_tezos.svg" width="150"/></p>
zapashcanon's avatar
zapashcanon committed
58 59 60 61
    <h3 align="center"><a href="https://en.wikipedia.org/wiki/Tezos">Tezos</a></h3>
    <p>A blockchain with integrated governance</p>
  </div>
</div>
zapashcanon's avatar
zapashcanon committed
62 63
<div class="row">
  <div class="col-lg-3">
64
    <p><img src="assets/img/logo_dune.png"/></p>
zapashcanon's avatar
zapashcanon committed
65 66 67 68
    <h3 align="center"><a href="https://dunscan.io/">DunScan</a></h3>
    <p>The Dune network explorer</p>
  </div>
  <div class="col-lg-3">
69
    <p><img src="assets/img/logo_tzscan.png"/></p>
zapashcanon's avatar
zapashcanon committed
70 71 72 73
    <h3 align="center"><a href="https://tzscan.io/">TZScan</a></h3>
    <p>The Tezos network explorer</p>
  </div>
  <div class="col-lg-3">
74
    <p><img src="assets/img/logo_altergo.png"/></p>
zapashcanon's avatar
zapashcanon committed
75 76 77 78
    <h3 align="center"><a href="https://alt-ergo.ocamlpro.com/">Alt-Ergo</a></h3>
    <p>An SMT solver for software verification</p>
  </div>
  <div class="col-lg-3">
79
    <p><img src="assets/img/logo_techelson.png"/></p>
zapashcanon's avatar
zapashcanon committed
80 81 82 83 84 85
    <h3 align="center"><a href="https://ocamlpro.github.io/techelson/">Techelson</a></h3>
    <p>A test execution engine for Michelson</p>
  </div>
</div>
<div class="row">
  <div class="col-lg-3">
86
    <p><img src="assets/img/logo_liquidity.svg" width="150"/></p>
zapashcanon's avatar
zapashcanon committed
87 88 89 90
    <h3 align="center"><a href="https://www.liquidity-lang.org/">Liquidity</a></h3>
    <p>A smart-contract language for the Tezos blockchain</p>
  </div>
  <div class="col-lg-3">
91
    <p><img src="assets/img/logo_love.png"/></p>
zapashcanon's avatar
zapashcanon committed
92 93 94 95
    <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">
96
    <p><img src="assets/img/logo_solidityparser.png"/></p>
zapashcanon's avatar
zapashcanon committed
97 98 99 100
    <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">
101
    <p><img src="assets/img/logo_optal.png"/></p>
zapashcanon's avatar
zapashcanon committed
102 103 104 105 106
    <h3 align="center"><a href="https://github.com/OcamlPro/optal">Optal</a></h3>
    <p>A language for linear optimization</p>
  </div>
</div>

zapashcanon's avatar
zapashcanon committed
107 108
<hr class="featurette-divider">

109
<h2 class="page-subtitle">You're in good company</h2>
zapashcanon's avatar
zapashcanon committed
110

zapashcanon's avatar
zapashcanon committed
111 112
<br />
<br />
zapashcanon's avatar
zapashcanon committed
113 114
<div class="row">
  <div class="col-lg-2">
115
    <p><a href="https://www.janestreet.com"><img src="assets/img/logo_janestreet.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
116 117
  </div>
  <div class="col-lg-2">
118
    <p><a href="https://www.samsung.com"><img src="assets/img/logo_samsung.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
119 120
  </div>
  <div class="col-lg-2">
121
    <p><a href="https://www.mitsubishielectric-rce.eu/"><img src="assets/img/logo_merce.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
122 123
  </div>
  <div class="col-lg-2">
124
    <p><a href="https://www.adacore.com/"><img src="assets/img/logo_adacore.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
125 126
  </div>
  <div class="col-lg-2">
127
    <p><a href="https://trust-in-soft.com/"><img src="assets/img/logo_trustinsoft.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
128 129
  </div>
  <div class="col-lg-2">
130
    <p><a href="https://cryptosense.com/"><img src="assets/img/logo_cryptosense.png" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
131 132 133 134
  </div>
</div>
<div class="row">
  <div class="col-lg-2">
135
    <p><a href="https://www.inria.fr"><img src="assets/img/logo_inria.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
136 137
  </div>
  <div class="col-lg-2">
138
    <p><a href="http://www-list.cea.fr"><img src="assets/img/logo_cealist.png" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
139 140
  </div>
  <div class="col-lg-2">
141
    <p><a href="https://www.lexifi.com"><img src="assets/img/logo_lexifi.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
142 143
  </div>
  <div class="col-lg-2">
144
    <p><a href="https://www.bloomberg.com"><img src="assets/img/logo_bloomberg.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
145 146
  </div>
  <div class="col-lg-2">
147
    <p><a href="https://www.facebook.com/"><img src="assets/img/logo_facebook.svg" width="150"/></a></p>
zapashcanon's avatar
zapashcanon committed
148 149
  </div>
</div>