Loading...
Loading...
Hobbyist, learning formal methods and systems programming. 15y/o
4 new projects with 13 stars.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred gold-silver-copper/grift
February 8th, 2026 10:04 AM
Starred typeswitch-dev/yotta
February 7th, 2026 4:47 AM
Starred redox-os/redoxfs
February 7th, 2026 4:40 AM
Starred siraben/zkeme80
February 7th, 2026 4:29 AM
Starred debrouxl/tilp_and_gfm
February 7th, 2026 4:27 AM
Starred rems-project/linksem
February 7th, 2026 4:22 AM
Starred KevinMGranger/nine
February 7th, 2026 4:20 AM
Starred sunfishcode/mustang
February 7th, 2026 4:19 AM
Starred ohenley/awesome-ada
February 7th, 2026 4:17 AM
Starred tommythorn/Reduceron
February 7th, 2026 4:09 AM