Loading...
Loading...
14 new projects with 9 stars.
36 day streak.
Coding for 9 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred risc0/risc0-lean4
February 2nd, 2026 6:32 PM
Starred leanprover-community/lean-auto
February 2nd, 2026 6:31 PM
Starred lenianiva/lean4-nix
February 2nd, 2026 6:27 PM
Starred Julian/lean.nvim
February 2nd, 2026 6:24 PM
Starred leanprover/reference-manual
February 2nd, 2026 6:24 PM
Starred idris-lang/Idris2
February 2nd, 2026 6:10 PM
Pushed to supervisor at xinpian-tech/pokedex
February 2nd, 2026 5:16 PM
Pushed to dlen4096 at chipsalliance/t1
February 2nd, 2026 8:35 AM
labeled pull request in chipsalliance/t1
February 2nd, 2026 4:27 AM
Starred GridSpace/grid-apps
January 31st, 2026 3:27 AM