GitHub repository: utsaslab/chipmunk
Primary language: C
Description: Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)