opam.ocamlpro.com

Preview meta tags from the opam.ocamlpro.com website.

Linked Hostnames

Thumbnail

Search Engine Appearance

Google

https://opam.ocamlpro.com/

Expert Solutions for Complex Challenges

OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

Bing

Expert Solutions for Complex Challenges

https://opam.ocamlpro.com/

DuckDuckGo

https://opam.ocamlpro.com/

Expert Solutions for Complex Challenges

General Meta Tags
6
- title
  Expert Solutions for Complex Challenges | OCamlPro
- charset
  utf-8
- viewport
  width=device-width, initial-scale=1, maximum-scale=1
- description
  OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
- keywords
  ocamlpro,ocaml,state-of-the-art,prototyping,startup studio,software,engineering,r&d,blog,tooling,blockchains,formal methods,trainings,rust,opam,alt-ergo,digodoc,docs
Open Graph Meta Tags
4
- og:description
  OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
- og:title
  Expert Solutions for Complex Challenges
- og:type
  website
- og:image
  https://ocamlpro.com/assets/img/og_image_ocp_the_art_of_prog.png
Link Tags
4
- icon
  /assets/img/logo_ocp_icon.svg
- stylesheet
  /assets/css/bootstrap.min.css
- stylesheet
  /assets/css/prism.css
- stylesheet
  /assets/css/style.css
Website Locales
2
- en
  /index
- fr
  /fr/index