Mentions légales du service
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
An OCaml library that helps deal with binding constructs in abstract syntax trees.
An index for labeled sequences
Packaging for Debian of the r CRAN ascii package.
Public repository for the code used in HyFN experiments
Dinero IV, originally downloaded from ftp://ftp.cs.wisc.edu/markhill/DineroIV.
A D sub implementation in OCaml with typing and subtyping algorithms.
Tools and benchmarks for measuring performance and energy.
Library for tokamak meshing
This project contains the benchmarks used during CRV 14.
This project contains the information related to the evaluation carried out during CRV 14.