#1,223
Commits rank
4,501
Commits
Apr 2026 (+172)
Busiest month
Cumulative public commits attributed by GitHub since Apr 2012. What is this?
Embed in your GitHub profile
A live chart that updates over time — drop it into your GitHub profile page or any project README. It’s centered and switches between light and dark to match the viewer’s GitHub theme.
<div align="center">
<a href="https://commit-history.com/bakkot">
<picture>
<source media="(prefers-color-scheme: dark)" srcset="https://commit-history.com/embed/bakkot?theme=dark" />
<img alt="bakkot's commit history" src="https://commit-history.com/embed/bakkot" />
</picture>
</a>
</div>