#29 today
marcbrooker/git_weirdness
Python Other Apache-2.0
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).
Last active today
Created Aug 11, 2026
- Stars
- 13
- Today
- +13
- Forks
- 0
- Quality
- 95/100
- Momentum
- 20
First trending
Aug 12, 2026
first spotted on the list
Best rank
#29
highest position reached
Appearances
2
times on the trending list
Quality score
95
out of 100
Momentum
20
trend strength indicator
Star velocity
13
stars per day since creation
Activity — last 60 days
daily counts, collected every 6 hours- Stars
- Forks
- Merged PRs
- Issues
- Closed issues
Collecting activity data since launch — check back in a few days.
Star history
total stars per snapshotRank history
position on trending · lower is betterTop contributors
by commitsLanguage breakdown
by bytes of code Python 70.9%
- Python 6 KB 70.9%
- Shell 2 KB 29.1%
Stars badge
Show current stars in your README or profile. Auto-updates every 6 hours.
Markdown
[](https://www.notionpulse.cc/repo/marcbrooker/git_weirdness) HTML
<a href="https://www.notionpulse.cc/repo/marcbrooker/git_weirdness"><img src="https://www.notionpulse.cc/api/badge/marcbrooker/git_weirdness.svg" alt="marcbrooker/git_weirdness stars badge" /></a>