Explore projects

T

prdistrib / tagada
CeCILL Free Software License Agreement v2.1

A tool for generating random task DAGs

0

Updated Dec 17, 2024

0 0 0 0

Updated Dec 17, 2024
Vincent Rossetto / OCaml

Basic functions for OCaml codes

0

Updated Dec 18, 2024

0 0 0 0

Updated Dec 18, 2024
C

CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 only

Verimag's fork of CompCert

Formally Ver... Ocaml Coq
+ 1 more

3

Updated Dec 20, 2024

3 0 0 0

Updated Dec 20, 2024
C

CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 only

0

Updated Dec 23, 2024

0 0 0 0

Updated Dec 23, 2024
S

verimag / synchrone / sasa
CeCILL Free Software License Agreement v2.1

Self-stabilizing Algorithms SimulAtor

1

Updated Jan 18, 2025

1 0 2 8

Updated Jan 18, 2025
C

CertiCompil / chamois-test
GNU General Public License v2.0 or later

0

Updated Jan 24, 2025

0 0 0 0

Updated Jan 24, 2025
L

verimag / synchrone / lustre-v6
CeCILL Free Software License Agreement v2.1

Lustre V6 compiler

0

Updated Jan 27, 2025

0 0 0 5

Updated Jan 27, 2025
S

Benjamin Bonneau / smonad
MIT License

0

Updated Feb 07, 2025

0 0 0 0

Updated Feb 07, 2025