Explore projects
-
prdistrib / tagada
CeCILL Free Software License Agreement v2.1A tool for generating random task DAGs
Updated -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
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).
Updated -
Updated
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
Benjamin Bonneau / smonad
MIT LicenseUpdated -
CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 onlyUpdated