GitHub repository: DeDiS/Determinator
Primary language: C
Description: Experimental operating system for deterministic parallel computing