sequentialization
There are 2 repositories under sequentialization topic.
rakles/matrix-lock
a GitHub Action that allows for sequential execution of matrix runners by utilizing the artifact system to share a lock
clemevi/cseqGui
CseqGUI is a User Friendly Python Interface for Lazycseq tool with Counterexample Visualization.