GitHub

Most of what I make is public from the first commit. This is what the account looks like from outside. The last year of commits, what moved in the past month, languages then and now, and the most starred repositories. The data refreshes on each build.

The last year

4,348 contributions in the last year
OctNovDecJanFebMarAprMayJunJulAugSepOctMonWedFriNo contributions on September 28, 2025No contributions on September 29, 2025No contributions on September 30, 20253 contributions on October 1, 2025No contributions on October 2, 2025No contributions on October 3, 2025No contributions on October 4, 2025No contributions on October 5, 2025No contributions on October 6, 2025No contributions on October 7, 20251 contribution on October 8, 20251 contribution on October 9, 2025No contributions on October 10, 2025No contributions on October 11, 2025No contributions on October 12, 20252 contributions on October 13, 2025No contributions on October 14, 2025No contributions on October 15, 20251 contribution on October 16, 2025No contributions on October 17, 20252 contributions on October 18, 20251 contribution on October 19, 20252 contributions on October 20, 20252 contributions on October 21, 2025No contributions on October 22, 20251 contribution on October 23, 2025No contributions on October 24, 2025No contributions on October 25, 2025No contributions on October 26, 20251 contribution on October 27, 2025No contributions on October 28, 2025No contributions on October 29, 2025No contributions on October 30, 2025No contributions on October 31, 2025No contributions on November 1, 2025No contributions on November 2, 2025No contributions on November 3, 2025No contributions on November 4, 2025No contributions on November 5, 2025No contributions on November 6, 2025No contributions on November 7, 2025No contributions on November 8, 20251 contribution on November 9, 2025No contributions on November 10, 2025No contributions on November 11, 2025No contributions on November 12, 2025No contributions on November 13, 2025No contributions on November 14, 2025No contributions on November 15, 2025No contributions on November 16, 2025No contributions on November 17, 20252 contributions on November 18, 2025No contributions on November 19, 2025No contributions on November 20, 2025No contributions on November 21, 2025No contributions on November 22, 2025No contributions on November 23, 2025No contributions on November 24, 2025No contributions on November 25, 2025No contributions on November 26, 2025No contributions on November 27, 2025No contributions on November 28, 2025No contributions on November 29, 2025No contributions on November 30, 2025No contributions on December 1, 2025No contributions on December 2, 20252 contributions on December 3, 2025No contributions on December 4, 2025No contributions on December 5, 2025No contributions on December 6, 2025No contributions on December 7, 2025No contributions on December 8, 20251 contribution on December 9, 2025No contributions on December 10, 2025No contributions on December 11, 2025No contributions on December 12, 2025No contributions on December 13, 2025No contributions on December 14, 2025No contributions on December 15, 2025No contributions on December 16, 20251 contribution on December 17, 2025No contributions on December 18, 2025No contributions on December 19, 2025No contributions on December 20, 2025No contributions on December 21, 2025No contributions on December 22, 20252 contributions on December 23, 2025No contributions on December 24, 2025No contributions on December 25, 2025No contributions on December 26, 2025No contributions on December 27, 2025No contributions on December 28, 2025No contributions on December 29, 202524 contributions on December 30, 20257 contributions on December 31, 202516 contributions on January 1, 20265 contributions on January 2, 20265 contributions on January 3, 20265 contributions on January 4, 202623 contributions on January 5, 2026No contributions on January 6, 2026No contributions on January 7, 20261 contribution on January 8, 20261 contribution on January 9, 2026No contributions on January 10, 2026No contributions on January 11, 20261 contribution on January 12, 20265 contributions on January 13, 2026No contributions on January 14, 202653 contributions on January 15, 202617 contributions on January 16, 202621 contributions on January 17, 20261 contribution on January 18, 2026No contributions on January 19, 2026No contributions on January 20, 2026No contributions on January 21, 2026No contributions on January 22, 202624 contributions on January 23, 202625 contributions on January 24, 20261 contribution on January 25, 202617 contributions on January 26, 20265 contributions on January 27, 202635 contributions on January 28, 202630 contributions on January 29, 202612 contributions on January 30, 2026No contributions on January 31, 20265 contributions on February 1, 202669 contributions on February 2, 20261 contribution on February 3, 20261 contribution on February 4, 2026No contributions on February 5, 20265 contributions on February 6, 202629 contributions on February 7, 202623 contributions on February 8, 202642 contributions on February 9, 20264 contributions on February 10, 20261 contribution on February 11, 20264 contributions on February 12, 202614 contributions on February 13, 20264 contributions on February 14, 20261 contribution on February 15, 202612 contributions on February 16, 20264 contributions on February 17, 20263 contributions on February 18, 202635 contributions on February 19, 202612 contributions on February 20, 202612 contributions on February 21, 202629 contributions on February 22, 20268 contributions on February 23, 202613 contributions on February 24, 202672 contributions on February 25, 202625 contributions on February 26, 202613 contributions on February 27, 202610 contributions on February 28, 202630 contributions on March 1, 202618 contributions on March 2, 20263 contributions on March 3, 20264 contributions on March 4, 202614 contributions on March 5, 202625 contributions on March 6, 202622 contributions on March 7, 202619 contributions on March 8, 202617 contributions on March 9, 202613 contributions on March 10, 20264 contributions on March 11, 20264 contributions on March 12, 20261 contribution on March 13, 20262 contributions on March 14, 20263 contributions on March 15, 20262 contributions on March 16, 202632 contributions on March 17, 202616 contributions on March 18, 20262 contributions on March 19, 20265 contributions on March 20, 202619 contributions on March 21, 202619 contributions on March 22, 20266 contributions on March 23, 202622 contributions on March 24, 202613 contributions on March 25, 202612 contributions on March 26, 20261 contribution on March 27, 20264 contributions on March 28, 20265 contributions on March 29, 20261 contribution on March 30, 202615 contributions on March 31, 20264 contributions on April 1, 20262 contributions on April 2, 20261 contribution on April 3, 202610 contributions on April 4, 2026No contributions on April 5, 20262 contributions on April 6, 202619 contributions on April 7, 202614 contributions on April 8, 20264 contributions on April 9, 20263 contributions on April 10, 20262 contributions on April 11, 20262 contributions on April 12, 20264 contributions on April 13, 20262 contributions on April 14, 20262 contributions on April 15, 202628 contributions on April 16, 202645 contributions on April 17, 20261 contribution on April 18, 20262 contributions on April 19, 20261 contribution on April 20, 20262 contributions on April 21, 20263 contributions on April 22, 20269 contributions on April 23, 2026No contributions on April 24, 2026No contributions on April 25, 2026No contributions on April 26, 2026No contributions on April 27, 2026No contributions on April 28, 2026No contributions on April 29, 2026No contributions on April 30, 2026No contributions on May 1, 20264 contributions on May 2, 20265 contributions on May 3, 2026No contributions on May 4, 2026No contributions on May 5, 2026No contributions on May 6, 2026No contributions on May 7, 202618 contributions on May 8, 2026No contributions on May 9, 20265 contributions on May 10, 20269 contributions on May 11, 20265 contributions on May 12, 202616 contributions on May 13, 20263 contributions on May 14, 2026No contributions on May 15, 20261 contribution on May 16, 2026No contributions on May 17, 20264 contributions on May 18, 20263 contributions on May 19, 20265 contributions on May 20, 20262 contributions on May 21, 202628 contributions on May 22, 202638 contributions on May 23, 202632 contributions on May 24, 20261 contribution on May 25, 20261 contribution on May 26, 20268 contributions on May 27, 202651 contributions on May 28, 202662 contributions on May 29, 202640 contributions on May 30, 202639 contributions on May 31, 202633 contributions on June 1, 202622 contributions on June 2, 20264 contributions on June 3, 202657 contributions on June 4, 202651 contributions on June 5, 20266 contributions on June 6, 202625 contributions on June 7, 2026No contributions on June 8, 202664 contributions on June 9, 202652 contributions on June 10, 20261 contribution on June 11, 20263 contributions on June 12, 2026No contributions on June 13, 2026No contributions on June 14, 20261 contribution on June 15, 20266 contributions on June 16, 2026No contributions on June 17, 2026No contributions on June 18, 2026No contributions on June 19, 2026No contributions on June 20, 2026No contributions on June 21, 20263 contributions on June 22, 20261 contribution on June 23, 2026No contributions on June 24, 2026No contributions on June 25, 20261 contribution on June 26, 20265 contributions on June 27, 2026No contributions on June 28, 2026No contributions on June 29, 2026No contributions on June 30, 20263 contributions on July 1, 20264 contributions on July 2, 202662 contributions on July 3, 202629 contributions on July 4, 20269 contributions on July 5, 202621 contributions on July 6, 202622 contributions on July 7, 202639 contributions on July 8, 202620 contributions on July 9, 202645 contributions on July 10, 202691 contributions on July 11, 202644 contributions on July 12, 2026119 contributions on July 13, 202652 contributions on July 14, 202627 contributions on July 15, 2026104 contributions on July 16, 20267 contributions on July 17, 20263 contributions on July 18, 202630 contributions on July 19, 202612 contributions on July 20, 202663 contributions on July 21, 202629 contributions on July 22, 20263 contributions on July 23, 202676 contributions on July 24, 202692 contributions on July 25, 20269 contributions on July 26, 202625 contributions on July 27, 202619 contributions on July 28, 20268 contributions on July 29, 20267 contributions on July 30, 202610 contributions on July 31, 202617 contributions on August 1, 20265 contributions on August 2, 20265 contributions on August 3, 202634 contributions on August 4, 202622 contributions on August 5, 20266 contributions on August 6, 20261 contribution on August 7, 2026No contributions on August 8, 20262 contributions on August 9, 20265 contributions on August 10, 20266 contributions on August 11, 20261 contribution on August 12, 20261 contribution on August 13, 202621 contributions on August 14, 20262 contributions on August 15, 20263 contributions on August 16, 20269 contributions on August 17, 20265 contributions on August 18, 2026No contributions on August 19, 20263 contributions on August 20, 20263 contributions on August 21, 2026No contributions on August 22, 202611 contributions on August 23, 20261 contribution on August 24, 20262 contributions on August 25, 202612 contributions on August 26, 2026100 contributions on August 27, 202621 contributions on August 28, 20265 contributions on August 29, 2026225 contributions on August 30, 202645 contributions on August 31, 20265 contributions on September 1, 20265 contributions on September 2, 2026121 contributions on September 3, 202622 contributions on September 4, 202621 contributions on September 5, 202616 contributions on September 6, 202633 contributions on September 7, 202627 contributions on September 8, 202610 contributions on September 9, 20268 contributions on September 10, 20261 contribution on September 11, 20261 contribution on September 12, 20265 contributions on September 13, 202611 contributions on September 14, 20263 contributions on September 15, 202640 contributions on September 16, 202638 contributions on September 17, 20264 contributions on September 18, 20263 contributions on September 19, 20261 contribution on September 20, 20263 contributions on September 21, 20263 contributions on September 22, 202622 contributions on September 23, 202625 contributions on September 24, 202635 contributions on September 25, 202657 contributions on September 26, 20264 contributions on September 27, 202647 contributions on September 28, 202616 contributions on September 29, 202638 contributions on September 30, 202625 contributions on October 1, 2026

Working on now

Elsewhere

Pushes, reviews and comments in other people's repositories since September 29.

By language

All time258 repos

  • Haskell 89
  • Rust 79
  • Lean 36
  • HTML 8
  • TeX 7
  • Java 6
  • Other 33

Last 90 days, lines changed+1,452,455 / −131,988

  • Lean +796,537 −56,934
  • Rust +297,600 −30,787
  • Markdown +117,549 −21,563
  • Python +59,214 −3,035
  • TeX +43,373 −10,357
  • JSON +49,584 −312
  • Other +88,598 −9,000

Where the lines went

1,490 commits since July 3, counted from git across 37 repositories. Lockfiles, vendored and generated directories are left out.

Most starred

All repositories on GitHub

Snapshot from October 1, 2026. Refreshed with each build.