Commit ac34933b authored by Dario Pinto's avatar Dario Pinto Committed by Gitea
Browse files

Add timeline

parent acac8507
......@@ -11,19 +11,6 @@ body {
background-color: #ECDDCE;
}
#timelinetop div, #timelinebot div {
margin-top: 0.005em;
margin-bottom: 0.005em;
align: center;
text-align: center;
font-size: 0.80em;
}
#timeline div {
align: center;
text-align: center;
}
.featurette-divider {
margin: 5rem 0;
}
......@@ -43,3 +30,80 @@ body {
#page-title {
text-align: center;
}
/*
* The CSS below has been taken from the following page:
*
* https://www.bootdey.com/snippets/view/timeline-steps
*
* This comment will be updated as changes of said code happen
*
* */
body{margin-top:20px;}
.timeline-steps {
display: flex;
justify-content: center;
flex-wrap: wrap
}
.timeline-steps .timeline-step {
align-items: center;
display: flex;
flex-direction: column;
position: relative;
margin: 1rem
}
@media (min-width:768px) {
.timeline-steps .timeline-step:not(:last-child):after {
content: "";
display: block;
border-top: .25rem dotted #3b82f6;
width: 3.46rem;
position: absolute;
left: 7.5rem;
top: .3125rem
}
.timeline-steps .timeline-step:not(:first-child):before {
content: "";
display: block;
border-top: .25rem dotted #3b82f6;
width: 3.8125rem;
position: absolute;
right: 7.5rem;
top: .3125rem
}
}
.timeline-steps .timeline-content {
width: 10rem;
text-align: center
}
.timeline-steps .timeline-content .inner-circle {
border-radius: 1.5rem;
height: 1rem;
width: 1rem;
display: inline-flex;
align-items: center;
justify-content: center;
background-color: #3b82f6
}
.timeline-steps .timeline-content .inner-circle:before {
content: "";
background-color: #3b82f6;
display: inline-block;
height: 3rem;
width: 3rem;
min-width: 3rem;
border-radius: 6.25rem;
opacity: .5
}
/*
* The CSS above has been taken from the following page:
*
* https://www.bootdey.com/snippets/view/timeline-steps
*
* */
......@@ -158,59 +158,6 @@ We cater to very specific needs. For example, we can translate a “black box”
<hr class="featurette-divider">
<h2 class="page-subtitle">Sharing our expertise with you: Consulting & Training</h2>
<br />
Our developments are harnessing our expertise on formal methods and the most advanced features of OCaml & Rust. We will help you design robust architectures, choose open-source components, optimize your code and solve performance, memory or compiler issues.
We also support companies that need to get up to speed, with on-demand and customized training designed by our experts.
<br />
<h3>
Open Source tooling to armour industrial developers
</h3>
<br />
OCamlPro promotes the use of the OCaml functional programming language in the industry, as a token of development productivity and software quality.
We develop and maintain open source tooling for OCaml, such as Opam, [TryOCaml](https://try.ocamlpro.com/), [ocp-indent](https://github.com/OCamlPro/ocp-indent/), [ocp-index](https://github.com/OCamlPro/ocp-index), and ocp-browser.
We contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch. We provided a set of tools to foster OCaml adoption, under the legacy TypeRex codename. From the very beginning, we aimed both simplicity of access and perenity.
<br />
<br />
<div class="row" align="center">
<div class="col-lg-6">
<h3>
<p>
<img src="assets/img/logo_tryocaml.png" width="150"/>
</p>
<a href="https://try.ocamlpro.com/">
TryOCaml
</a>
</h3>
<p>
Online top-level for beginners
</p>
</div>
<div class="col-lg-6">
<h3>
<p>
<img src="assets/img/logo_typerex.png" width="150"/>
</p>
<a href="https://www.typerex.org/">
TypeRex
</a>
</h3>
<p>
OCaml Programming Studio
</p>
</div>
</div>
<hr class="featurette-divider">
<h2 class="page-subtitle" align="center">Discover our timeline</h2>
<p align="center">
......@@ -225,63 +172,82 @@ We contribute to the core-development of OCaml, notably with our work on the Fla
<br />
<br />
<!-- 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 -->
<div id="timelinetop" class="row">
<div class="col-lg-2"></div>
<div class="col-lg-1">
2012: Working on a development toolsuite: the Typerex initiative
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2014: Release of the Flambda optimizing compiler in OCaml
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2016: The Alt-Ergo SMT Solver v1.30 is released
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2018: Inria’s OCaml Software Foundation is created
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2020: Alt-Ergo Users’ Club 2nd annual meeting
</div>
</div>
<div id="timeline" class="row">
<div class="col-lg-1"></div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
</div>
<div id="timelinebot" class="row">
<div class="col-lg-1"></div>
<div class="col-lg-1">
2011: OCamlPro is founded by Inria researchers
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2013: Release of the package manager OPAM 1.0
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2015: OCamlPro develops the Irill/Paris 7 OCaml FUN Mooc
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2017: OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2019: New company Origin Labs is created to tackle blockchain-related challenges
</div>
</div>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment