OCamlPro

Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021

La troisième réunion annuelle du Club des utilisateurs d’Alt-Ergo a eu lieu le 1er avril ! Cette réunion annuelle est l’endroit idéal pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de route concernant les développements et les améliorations Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021

Étiquettes : ,

2020 chez OCamlPro

En anglais à l’adresse : https://www.ocamlpro.com/2021/02/02/2020-at-ocamlpro/ OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training companies to the use of strongly-typed 2020 chez OCamlPro

Tutoriel Format

Article écrit par mattias. Le module Format d’OCaml est un module extrêmement puissant mais malheureusement très mal utilisé. Il combine notamment deux éléments distincts : les boîtes d’impression élégante les tags sémantiques Le présent article vise à démystifier une grande partie de ce module afin de découvrir l’ensemble des choses qu’il est possible de faire Tutoriel Format

2019 chez OCamlPro

OCamlPro a pour ambition d’aider les industriels dans leur adoption du langage OCaml et des méthodes formelles. L’entreprise est passée d’1 à 21 personnes et est restée fidèle à cet objectif. L’année 2019 chez OCamlPro a été très animée, et le nombre de réalisations impressionnant, d’abord dans le monde OCaml (flambda2 & optimisations du compilateur, 2019 chez OCamlPro

Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019

OCamlPro lance un cycle de formations régulières à OCaml, en français, dans ses locaux parisiens (métro Alésia). La première session aura lieu début novembre 2019, avec 2 formations: Formation débutant : passer à OCaml (5-6 novembre) Formation expert : approfondir sa maîtrise du langage (7-8 novembre). La formation expert sera l’occasion pour des programmeurs OCaml Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019