Explore projects

S

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

Self-stabilizing Algorithms SimulAtor

1

Updated Mar 21, 2025

1 0 2 8

Updated Mar 21, 2025
S

verimag / reproducible-research / sasartifact
CeCILL Free Software License Agreement v2.1

Reproduce experiments done in sasa related articles

0

Updated Jul 23, 2021

0 0 0 0

Updated Jul 23, 2021
S

Benjamin Bonneau / smonad
MIT License

0

Updated Mar 27, 2025

0 0 0 0

Updated Mar 27, 2025
T

prdistrib / tagada
CeCILL Free Software License Agreement v2.1

A tool for generating random task DAGs

0

Updated Feb 27, 2025

0 0 0 0

Updated Feb 27, 2025
T

Abderrahmane Bouguern / thesis_code_docs

0

Updated Sep 12, 2023

0 0 0 0

Updated Sep 12, 2023
Chaza Ahmed Salaheldin Abdelwahab / Turing_Machine
Other

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

0

Updated Mar 30, 2019

0 0 0 0

Updated Mar 30, 2019
Michaël PÉRIN / Turing_Machine
Other

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

Ocaml Turing Machine

0

Updated Mar 27, 2019

0 1 0

Updated Mar 27, 2019
V

CertiCompil / Velus
Other

0

Updated May 01, 2021

0 0 0 0

Updated May 01, 2021