Loading...
Loading...
Avg 11.3 stars per repo.
Coding for 16 years.
131 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Created branch main in epistemicSystems/latex2lean
February 7th, 2026 7:09 PM
Starred mpedramfar/Lean-game-maker
February 7th, 2026 7:09 PM
Created branch main in epistemicSystems/grey0631.github.io
February 7th, 2026 7:01 PM
Starred ossia/score
February 7th, 2026 11:02 AM
Created branch claude/build-project-Pm6Ho in epistemicSystems/phage_explorer
February 7th, 2026 9:21 AM
Starred humansensinglab/basket-multiview
February 7th, 2026 4:27 AM
Starred lean-dojo/LeanAgent
February 7th, 2026 12:18 AM
Starred lean-dojo/LeanCopilot
February 7th, 2026 12:17 AM
Starred lean-dojo/LeanDojo-v2
February 7th, 2026 12:17 AM
Starred simonw/claude-code-transcripts
February 6th, 2026 10:34 PM