Badtheorylabs / interference-search

Reason over explicit states, many branches at once: merge duplicates, cancel dead ends, advance together.

marcbrooker / git_weirdness

Empirical study of git merge (un)soundness: a minimal counterexample where default git merge silently duplicates a line, motivated by the diff3 paper (Khanna, Kunal & Pierce, FSTTCS 2007).