Sprache: Englisch
Charset: utf-8
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...
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
Author: OCamlPro
Viewport: width=device-width, initial-scale=1, maximum-scale=1
Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.
Bootstrap ist ein kostenloses und quelloffenes CSS-Framework, das auf die reaktionsschnelle, mobilfreundliche Front-End-Webentwicklung ausgerichtet ist. Es enthält CSS- und JavaScript-basierte Designvorlagen für Typografie, Formulare, Schaltflächen, Navigation und andere Oberflächenkomponenten.
jQuery ist eine JavaScript-Bibliothek, eine kostenlose Open-Source-Software, die das Traversieren und Manipulieren des HTML-DOM-Baums sowie die Ereignisbehandlung, CSS-Animation und Ajax vereinfacht.
Nginx ist ein Webserver, der auch als Reverse Proxy, Load Balancer, Mail Proxy und HTTP Cache verwendet werden kann.
Open Graph ist ein Protokoll, das dazu dient, jede beliebige Webseite in den Social Graph zu integrieren.
Popper ist eine Positionierungs-Engine, deren Aufgabe es ist, die Position eines Elements zu berechnen, um es in der Nähe eines bestimmten Referenzelements zu positionieren.
Prism ist ein erweiterbarer Syntax-Highlighter.
Ubuntu ist ein freies und quelloffenes Linux-Betriebssystem für Unternehmensserver, Desktops, Cloud und IoT.
IP-Adresse Server:
188.165.227.172