-
dmtcp Public
Forked from dmtcp/dmtcpDMTCP: Distributed MultiThreaded CheckPointing
C++ Other UpdatedNov 15, 2025 -
-
mcmini Public
Forked from mcminickpt/mcminiA Small, Extensible DPOR-based Model Checker
C++ Other UpdatedAug 18, 2025 -
two-lh-split-processes Public
Simple framework for split processes, but missing the kernel loader: that has to be added
C++ UpdatedMay 20, 2023 -
CRAC-early-development Public
Forked from JainTwinkle/CRAC-early-developmentThis is a public repository for the early development of CRAC (Checkpoint-Restart Architecture for CUDA Streams and UVM). A free and open-source production version is planned for the future.
C++ Other UpdatedJun 5, 2020 -
simgrid Public
Forked from simgrid/simgridFramework for the simulation of distributed applications (Clouds, HPC, Grids, IoT and others)
C++ Other UpdatedOct 5, 2019 -
{{ message }}