Unverified Commit 16056404 authored by zapashcanon's avatar zapashcanon
Browse files

work on index page

parent 9121eebd
<svg xmlns="http://www.w3.org/2000/svg" width="47" height="64" viewBox="0 0 47 64"><path fill="#2C7DF7" d="M30.252 63.441c-4.55 0-7.864-1.089-9.946-3.267-2.08-2.177-3.121-4.525-3.121-7.041 0-.92.181-1.694.544-2.323a3.993 3.993 0 0 1 1.489-1.489c.629-.363 1.403-.544 2.323-.544.92 0 1.693.181 2.323.544.629.363 1.125.86 1.488 1.489.363.629.544 1.403.544 2.323 0 1.113-.266 2.02-.798 2.722-.533.702-1.162 1.161-1.888 1.38.63.87 1.622 1.487 2.977 1.85 1.355.388 2.71.581 4.065.581 1.887 0 3.593-.508 5.118-1.524 1.524-1.017 2.65-2.517 3.376-4.501.726-1.984 1.089-4.235 1.089-6.752 0-2.734-.4-5.07-1.198-7.005-.775-1.96-1.924-3.412-3.449-4.356a9.21 9.21 0 0 0-4.936-1.415c-1.162 0-2.613.484-4.356 1.452l-3.194 1.597v-1.597L37.076 16.4H17.185v19.89c0 1.646.363 3.001 1.089 4.066s1.839 1.597 3.34 1.597c1.16 0 2.274-.387 3.339-1.162a11.803 11.803 0 0 0 2.758-2.83c.097-.219.218-.376.363-.473a.723.723 0 0 1 .472-.181c.266 0 .58.133.944.4.339.386.508.834.508 1.342a9.243 9.243 0 0 1-.182 1.017c-.822 1.839-1.96 3.242-3.412 4.21a8.457 8.457 0 0 1-4.79 1.452c-4.308 0-7.285-.847-8.93-2.54-1.645-1.695-2.468-3.994-2.468-6.897V16.4H.052v-3.703h10.164v-8.42L7.893 1.952V.066h6.751l2.54 1.306v11.325l26.28-.072 2.614 2.613-16.116 16.116a10.807 10.807 0 0 1 3.049-.726c1.742 0 3.702.557 5.88 1.67 2.202 1.089 3.896 2.59 5.081 4.5 1.186 1.888 1.948 3.703 2.287 5.445.363 1.743.545 3.291.545 4.646 0 3.098-.654 5.977-1.96 8.64-1.307 2.661-3.291 4.645-5.953 5.952-2.662 1.307-5.542 1.96-8.639 1.96z"/></svg>
\ No newline at end of file
......@@ -5,19 +5,54 @@
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!
<br />
<div class="row">
<div class="col-lg-4">
<p><img src="/assets/img/home_industry.png" /></p>
<h2>For industrial partners who face challenges</h2>
<h3 align="center">For industrial partners who face challenges</h3>
</div>
<div class="col-lg-4">
<p><img src="/assets/img/home_research.png" /></p>
<h2>For R&D labs who need collaboration</h2>
<h3 align="center">For R&D labs who need collaboration</h3>
</div>
<div class="col-lg-4">
<p><img src="/assets/img/home_dev.png" /></p>
<h2>For developers to reach mastery</h2>
<h3 align="center">For developers to reach mastery</h3>
</div>
</div>
<br />
<p align="center">
<a role="button" class="btn btn-primary" href="https://calendly.com/contact-ocamlpro">Let's discuss your projects</a>
</p>
<br />
## Prototyping software solutions for you
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.
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. Get in touch!
<div class="row">
<div class="col-lg-3">
<p><img src="/assets/img/logo_opam.png" /></p>
<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">
<p><img src="/assets/img/logo_memprof.png" /></p>
<h3 align="center"><a href="http://memprof.typerex.org/">memprof</a></h3>
<p>Non-intrusive memory profiler for OCaml applications </p>
</div>
<div class="col-lg-3">
<p><img src="/assets/img/logo_tryocaml.png" /></p>
<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">
<p><img src="/assets/img/logo_tezos.svg" width="150" /></p>
<h3 align="center"><a href="https://en.wikipedia.org/wiki/Tezos">Tezos</a></h3>
<p>A blockchain with integrated governance</p>
</div>
</div>
......@@ -11,7 +11,7 @@ let render_unsafe ~lang ~title ~content =
<header>
<nav class="navbar navbar-expand-md navbar-dark fixed-top bg-dark">
<div class="container-fluid">
<a class="navbar-brand" href="/"><img src="/assets/img/logo-ocamlpro.png" alt="OCamlPro" height="42" /></a>
<a class="navbar-brand" href="/"><img src="/assets/img/logo_ocamlpro.png" alt="OCamlPro" height="42" /></a>
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarCollapse" aria-controls="navbarCollapse" aria-expanded="false" aria-label="Toggle navigation">
<span class="navbar-toggler-icon"></span>
</button>
......
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