Mentions légales du service
Zen computational linguistics OCaml library
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Formal operational semantic of WEBI language written in coq.
Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics
Implementation of weak memory models using Causality
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Clean version of Transcoded ADA PSC optimizer
OCaml ppx deriver for generating quoting functions for OCaml datatypes: a quoting function converts an OCaml value into its AST.