Articles liés

Articles tagged by rust

Site

Catégories

OCamlPro at the JFLA2022 Conference

Auteurs: OCamlPro, Dario Pinto
Date: 2022-07-12
Catégorie: OCamlPro
Tags: jfla, Software Heritage, swh, ocaml, Alt-Ergo, fuzzing, mikino, rust, formal verification

In today's article, we share our contributions to the 2022 JFLAs, the French-Speaking annual gathering on Application Programming Languages, mainly Functional Languages such as OCaml (Journées Francophones des Langages Applicatifs). This much awaited event is organised by Inria, the French National... (Lire plus)

2019 chez OCamlPro

Auteurs: OCamlPro
Date: 2020-02-04
Catégorie: OCamlPro
Tags: compiler, cheat sheet, OCamlPro, opam, Rust, Try-OCaml, OCaml, Alt-Ergo, blockchains, Flambda2, fr

2019 at 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éalisati... (Lire plus)

2019 at OCamlPro

Auteurs: Muriel, OCamlPro
Date: 2020-02-04
Catégorie: OCamlPro
Tags: compiler, cheat sheet, OCamlPro, opam, Rust, Try-OCaml, OCaml, Alt-Ergo, blockchains, Flambda2

2019 at OCamlPro OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly sharing this ambitious goal! The year 2019 at OCamlPro was very lively, with fantastic accomplishments all along! Let's quickly review the past years' works... (Lire plus)