Loading...
Loading...
12 new projects with 11 stars.
Coding for 7 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
merged pull request in idris-lang/Idris2
February 3rd, 2026 6:05 AM
merged pull request in idris-lang/Idris2
February 3rd, 2026 5:55 AM
opened pull request in idris-lang/Idris2
February 2nd, 2026 8:24 PM
Created branch pr-template in erooke/Idris2
February 2nd, 2026 8:23 PM
opened pull request in idris-lang/Idris2
February 2nd, 2026 8:21 PM
Pushed to typos at erooke/Idris2
February 2nd, 2026 8:19 PM
Created branch typos in erooke/Idris2
February 2nd, 2026 8:10 PM
Forked idris-lang/Idris2
February 2nd, 2026 7:22 PM
Starred mattpolzin/nix-idris2-packages
January 29th, 2026 8:03 PM
Starred the1lab/1lab
January 24th, 2026 8:52 PM