1 |
- |
image |
2 |
Prototyping |
text |
3 |
Expertise |
text |
4 |
Training |
text |
5 |
R&D |
text |
6 |
Open Source |
text |
7 |
Blog |
text |
8 |
Menu |
text |
9 |
- |
empty |
10 |
Try OCaml, Online OCaml Toplevel for Beginners |
text |
11 |
Tezos, a Blockchain with Integrated Governance |
text |
12 |
TZScan, the Tezos Blockchain Explorer |
text |
13 |
Alt-Ergo, SMT-Solver for Software Verification |
text |
14 |
A Solidity pa****r in OCaml with Menhir |
text |
15 |
Techelson, a test execution engine for Michelson |
text |
16 |
- |
empty |
17 |
- |
empty |
18 |
- |
empty |
19 |
training sessions |
text |
20 |
- |
empty |
21 |
- |
empty |
22 |
R&D collaborative projects |
text |
23 |
Muriel Shan Sei Fan, President |
text |
24 |
Sylvain Conchon, CSO on Formal Methods |
text |
25 |
Pierre Chambart, CTO and Senior R&D Engineer |
text |
26 |
Louis Gesbert, Senior R&D Engineer |
text |
27 |
Vincent Laviron, Senior R&D Engineer and Deputy CTO |
text |
28 |
Pierrick Couderc, R&D Engineer |
text |
29 |
Thomas Blanc, R&D Engineer |
text |
30 |
Raja Boujbel, Senior R&D Engineer |
text |
31 |
Steven De Oliveira, R&D Engineer |
text |
32 |
David Declerck, R&D Engineer |
text |
33 |
Guillaume Bury, R&D Engineer |
text |
34 |
Albin Coquereau, R&D Engineer |
text |
35 |
Adrien Champion, Senior R&D Engineer |
text |
36 |
Laurène Gibaud, a***istant Director |
text |
37 |
Mattias, R&D Engineer |
text |
38 |
Aurore Drombry, Internal Communication Manager |
text |
39 |
Maxime Vilain, Product Designer |
text |
40 |
[Interview] Sylvain Conchon joins OCamlPro Read the interview |
text |
41 |
opam 2.1.0 alpha is here! Read the article |
text |
42 |
OCaml’s new “Best-fit” Garbage Collector Strategy Read the article |
text |
43 |
2019 at OCamlPro Read the article |
text |
44 |
Legal notice (French) |
text |
45 |
- |
empty |
46 |
- |
empty |
47 |
To the top |
text |