index.md 28.3 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 class="img_products" src="assets/img/logo_opam.png"/></p>
zapashcanon's avatar
zapashcanon committed
43
    <h3 align="center"><a href="https://opam.ocaml.org">opam</a></h3>
44
    <p class="p_index_center">A highly scalable package manager</p>
zapashcanon's avatar
zapashcanon committed
45 46
  </div>
  <div class="col-lg-3">
47
    <p><img class="img_products" src="assets/img/logo_ocaml.svg" /></p>
Dario Pinto's avatar
Dario Pinto committed
48
    <h3 align="center"><a href="https://ocaml-sf.org/learn-ocaml-public/#">Learn OCaml</a></h3>
49
    <p class="p_index_center">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">
52
    <p><img class="img_products" src="assets/img/logo_altergo.png" /></p>
Dario Pinto's avatar
Dario Pinto committed
53
    <h3 align="center"><a href="https://alt-ergo.ocamlpro.com/">Alt-Ergo</a></h3>
54
    <p class="p_index_center">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 class="img_products" src="assets/img/logo_dune_gimp.png"/></p>
zapashcanon's avatar
zapashcanon committed
58
    <h3 align="center"><a href="https://dunscan.io/">DunScan</a></h3>
59
    <p class="p_index_center">The Dune network explorer</p>
zapashcanon's avatar
zapashcanon committed
60 61 62 63
  </div>
</div>
<div class="row">
  <div class="col-lg-3">
64
    <p><img class="img_products" src="assets/img/logo_love_gimp.png"/></p>
zapashcanon's avatar
zapashcanon committed
65
    <h3 align="center"><a href="https://dune.network/docs/dune-node-next/love-doc/reference/love.htmlo/">LOVE</a></h3>
66
    <p class="p_index_center">A smart-contract language for the Dune Network blockchain</p>
zapashcanon's avatar
zapashcanon committed
67 68
  </div>
  <div class="col-lg-3">
69
    <p><img class="img_products" src="assets/img/logo_tezos.svg" /></p>
Dario Pinto's avatar
Dario Pinto committed
70
    <h3 align="center"><a href="https://en.wikipedia.org/wiki/Tezos">Tezos</a></h3>
71
    <p class="p_index_center">A blockchain with integrated governance</p>
Dario Pinto's avatar
Dario Pinto committed
72 73
  </div>
  <div class="col-lg-3">
74
    <p><img class="img_products" src="assets/img/logo_solidity.png" /></p>
zapashcanon's avatar
zapashcanon committed
75
    <h3 align="center"><a href="https://gitlab.com/o-labs/solidity-parser-ocaml">Solidity parser</a></h3>
76
    <p class="p_index_center">A Solidity Parser in OCaml with Menhir</p>
zapashcanon's avatar
zapashcanon committed
77 78
  </div>
  <div class="col-lg-3">
79
    <p><img class="img_products" src="assets/img/logo_tzscan_gimp.jpg"/></p>
Dario Pinto's avatar
Dario Pinto committed
80
    <h3 align="center"><a href="https://tzscan.io/">TZScan</a></h3>
81
    <p class="p_index_center">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 />

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 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
<div class="container-fluid">
	<div class="row">
	    <div id="timeline">
			<div class="row timeline-movement timeline-movement-top">
				<div class="timeline-badge timeline-future-movement">
						<p>2011</p>
				</div>
			</div>
			<div class="row timeline-movement">
				<div class="timeline-badge center-left">
					</div>
				<div class="col-sm-6  timeline-item">
					<div class="row">
						<div class="col-sm-11">
							<div class="timeline-panel credits  anim animate fadeInLeft">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_ocp_icon.svg"/></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">April 1, 2011</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">OcamlPro is founded </span> </li>
										<li><span class="causale">OCamlPro is founded to help spread the OCaml language in the industry. <br>
                    Fabrice le Fessant, a researcher and member of the French Inria Institute, founds OCamlPro to boost the development of OCaml and promote it in the industry.</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
			<div class="row timeline-movement">
				<div class="timeline-badge center-right">
				</div>
				<div class="offset-sm-6 col-sm-6  timeline-item">
					<div class="row">
						<div class="offset-sm-1 col-sm-11">
							<div class="timeline-panel debits  anim animate  fadeInRight">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_janestreet.svg"/></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">May 1, 2011</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">Long-term collaboration with Jane Street on Ocaml tooling </span> </li>
										<li><span class="causale">Jane Street supports the diffusion of Ocaml, and becomes OcamlPro's most important client.</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
			<div class="row timeline-movement">
				<div class="timeline-badge center-left">
				</div>
				<div class="col-sm-6  timeline-item">
					<div class="row">
						<div class="col-sm-11">
							<div class="timeline-panel credits  anim animate  fadeInLeft">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_typerex.png" class="img-responsive" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">February 28, 2012</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">OcamlPro contributes Open Source developer tools under the codename TypeRex! </span> </li>
										<li><span class="causale">The TypeRex programming studio is a set of open source tools for developing applications in Ocaml.</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
			<!--<div class="row timeline-movement timeline-movement-top">
				<div class="timeline-badge timeline-future-movement">
						<p>2017</p>
				</div>
			</div>-->
			<div class="row timeline-movement">
				<div class="timeline-badge center-right">
				</div>
				<div class="offset-sm-6 col-sm-6  timeline-item">
					<div class="row">
						<div class="offset-sm-1 col-sm-11">
							<div class="timeline-panel debits  anim animate  fadeInRight">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_opam.png" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">March 1, 2013</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">First official release of OPAM 1.0 </span> </li>
										<li><span class="causale">The Ocaml Package Manager is officially released as OPAM 1.0. </span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
			<div class="row timeline-movement">
				<div class="timeline-badge center-left">
				</div>
				<div class="col-sm-6  timeline-item">
					<div class="row">
						<div class="col-sm-11">
							<div class="timeline-panel credits  anim animate  fadeInLeft">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<!--<li class="img-wraping"><a href="#"><img src="http://via.placeholder.com/250/000000" class="img-responsive" alt="user-image" /></a></li>-->
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">December 1, 2014</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">Release of the Flambda optimizing compiler </span> </li>
										<li><span class="causale">The first Flambda is proposed into Ocaml by Pierre Chambart and Mark Shinwell in PR #132 - work funded by Jane Street. </span> </li>
										<li><p><small class="text-muted"><i class="glyphicon glyphicon-time"></i> 11/01/2018, 13:05"</small></p> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
      <div class="row timeline-movement">
				<div class="timeline-badge center-right">
				</div>
				<div class="offset-sm-6 col-sm-6  timeline-item">
					<div class="row">
						<div class="offset-sm-1 col-sm-11">
							<div class="timeline-panel debits  anim animate  fadeInRight">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/LearnOCaml_MOOC.png" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">July 1, 2015</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">Université Paris 7 appoints OcamlPro to implement the exercise platform of the Ocaml MOOC on France Université Numérique</span> </li>
										<li><span class="causale">OCamlPro implements the first version of the exercise autocorrecting platform of the OCaml MOOC on France Université Numérique for Université Paris 7, based on TryOCaml, integrates to the OpenEDX/FUN and designs some of the exercices of the course, in close collaboration with Roberto Di Cosmo and Yann-Régis Gianas at Irill.</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
      <div class="row timeline-movement">
				<div class="timeline-badge center-left">
				</div>
				<div class="col-sm-6  timeline-item">
					<div class="row">
						<div class="col-sm-11">
							<div class="timeline-panel credits  anim animate  fadeInLeft">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_altergo.png" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">November 1, 2016</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">Alt-Ergo 1.30 release with experimental support for model generation </span> </li>
										<li><span class="causale">Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat. </span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
      <div class="row timeline-movement">
				<div class="timeline-badge center-right">
				</div>
				<div class="offset-sm-6 col-sm-6  timeline-item">
					<div class="row">
						<div class="offset-sm-1 col-sm-11">
							<div class="timeline-panel debits  anim animate  fadeInRight">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_tezos.svg" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">2017</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">OCamlPro successfully implements the Tezos crowdfunding platform</span> </li>
										<li><span class="causale">OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools.</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
      <div class="row timeline-movement">
				<div class="timeline-badge center-left">
				</div>
				<div class="col-sm-6  timeline-item">
					<div class="row">
						<div class="col-sm-11">
							<div class="timeline-panel credits  anim animate  fadeInLeft">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_fondation_ocaml.svg" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">April 1, 2018</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">OCamlPro supports Inria's Ocaml Software Foundation creation</span> </li>
										<li><span class="causale">The OCaml Software Foundation is born at Inria !</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
      <div class="row timeline-movement">
				<div class="timeline-badge center-right">
				</div>
				<div class="offset-sm-6 col-sm-6  timeline-item">
					<div class="row">
						<div class="offset-sm-1 col-sm-11">
							<div class="timeline-panel debits  anim animate  fadeInRight">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_origin_labs.svg" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">May 27, 2019</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">New Company Origin Labs is created to lauch and maintain the Dune Network</span> </li>
										<li><span class="causale">The Blockchain team at OCamlPro want to find new opportunities for their expertise and creates a new company, </span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
      <div class="row timeline-movement">
				<div class="timeline-badge center-left">
				</div>
				<div class="col-sm-6  timeline-item">
					<div class="row">
						<div class="col-sm-11">
							<div class="timeline-panel credits  anim animate  fadeInLeft">
								<ul class="timeline-panel-ul">
									<div class="lefting-wrap">
										<li class="img-wraping"><a href="#"><img src="assets/img/logo_altergo.png" alt="user-image" /></a></li>
									</div>
									<div class="righting-wrap">
										<li><a href="#" class="importo">February 14, 2020</a></li>
										<li><span class="causale" style="color:#000; font-weight: 600;">Alt-Ergo Users' Club: MERCE (Mitsubishi Electric Research Centre in Europe) and Why3 join the Club</span> </li>
										<li><span class="causale">The second annual meeting of the Alt-Ergo Users' Club was held in mid-February. These meetings are the perfect place to review each partner's needs regarding Alt-Ergo, discuss the roadmap for future Alt-Ergo developments and enhancements.</span> </li>
									</div>
									<div class="clear"></div>
								</ul>
							</div>
						</div>
					</div>
				</div>
			</div>
		</div>
	</div>
</div>

<!--
 All the code for the timeline below has been taken from the following: https://www.bootdey.com/snippets/view/timeline-steps
Dario Pinto's avatar
Dario Pinto committed
466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541
<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>
542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592
 All the code for the timeline above has been taken from the following: https://www.bootdey.com/snippets/view/timeline-steps -->

<script> /*Timeline Animation*/
  /**********************Scroll Animation "START"************************************/
$(document).ready(function(){
var $animation_elements = $('.anim');
var $window = $(window);

function check_if_in_view() {
var window_height = $window.height();
var window_top_position = $window.scrollTop();
var window_bottom_position = (window_top_position + window_height);

$.each($animation_elements, function() {
var $element = $(this);
var element_height = $element.outerHeight();
var element_top_position = $element.offset().top;
var element_bottom_position = (element_top_position + element_height);

//check to see if this current container is within viewport
if ((element_bottom_position >= window_top_position) &&
(element_top_position <= window_bottom_position)) {
$element.addClass('animated');
} else {
$element.removeClass('animated');
}
});
}

$window.on('scroll resize', check_if_in_view);
$window.trigger('scroll');
});
/**********************Scroll Animation "END"************************************/

/**********************Change color of center aligned animated content small Circle  "START"************************************/
$(document).ready(function(){
    $(" .debits").hover(function(){
        $(" .center-right").css("background-color", "#4997cd");
        }, function(){
        $(" .center-right").css("background-color", "#fff");
    }); 
});
$(document).ready(function(){
    $(".credits").hover(function(){
        $(".center-left").css("background-color", "#4997cd");
        }, function(){
        $(".center-left").css("background-color", "#fff");
    }); 
});
/**********************Change color of center aligned animated content small Circle  "END"************************************/
</script>
Dario Pinto's avatar
Dario Pinto committed
593