GitHub repository: luau-lang/dcr-timetraveler
Primary language: JavaScript
Description: Time-traveling state inspector for the Luau DCR solver.