index.md 6.54 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 12
<div class="row">
  <div class="col-lg-4">
    <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 16
  </div>
  <div class="col-lg-4">
    <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 20
  </div>
  <div class="col-lg-4">
    <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">
zapashcanon's avatar
zapashcanon committed
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">
zapashcanon's avatar
zapashcanon committed
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">
zapashcanon's avatar
zapashcanon committed
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">
zapashcanon's avatar
zapashcanon committed
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 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
<div class="row">
  <div class="col-lg-3">
    <p><img src="/assets/img/logo_dune.png"/></p>
    <h3 align="center"><a href="https://dunscan.io/">DunScan</a></h3>
    <p>The Dune network explorer</p>
  </div>
  <div class="col-lg-3">
    <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>
  </div>
  <div class="col-lg-3">
    <p><img src="/assets/img/logo_altergo.png"/></p>
    <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">
    <p><img src="/assets/img/logo_techelson.png"/></p>
    <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">
    <p><img src="/assets/img/logo_liquidity.svg" width="150"/></p>
    <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">
    <p><img src="/assets/img/logo_love.png"/></p>
    <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">
    <p><img src="/assets/img/logo_solidityparser.png"/></p>
    <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">
    <p><img src="/assets/img/logo_optal.png"/></p>
    <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 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149
<div class="row">
  <div class="col-lg-2">
    <p><a href="https://www.janestreet.com"><img src="/assets/img/logo_janestreet.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.samsung.com"><img src="/assets/img/logo_samsung.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.mitsubishielectric-rce.eu/"><img src="/assets/img/logo_merce.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.adacore.com/"><img src="/assets/img/logo_adacore.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://trust-in-soft.com/"><img src="/assets/img/logo_trustinsoft.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://cryptosense.com/"><img src="/assets/img/logo_cryptosense.png" width="150"/></a></p>
  </div>
</div>
<div class="row">
  <div class="col-lg-2">
    <p><a href="https://www.inria.fr"><img src="/assets/img/logo_inria.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="http://www-list.cea.fr"><img src="/assets/img/logo_cealist.png" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.lexifi.com"><img src="/assets/img/logo_lexifi.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.bloomberg.com"><img src="/assets/img/logo_bloomberg.svg" width="150"/></a></p>
  </div>
  <div class="col-lg-2">
    <p><a href="https://www.facebook.com/"><img src="/assets/img/logo_facebook.svg" width="150"/></a></p>
  </div>
</div>