Explore projects

The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).

Verimag's fork of CompCert

A tool for generating random task DAGs

Working in a compiler project using java

Basic functions for OCaml codes

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Reproduce experiments done in sasa related articles

A skitz compiler, made to compile mincaml as a University project.

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

Self-stabilizing Algorithms SimulAtor