1
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Nov 13, 2025 — Nov 13, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
repeat More... 3 months ago
Merge branch 'ok-bnf' into claude/pr-1817-comments-d4q2c5 More... 3 months ago
Merge branch 'ok-bnf' into types More... 3 months ago
more const More... 3 months ago
Make repo type declarations consistently readonly More... 3 months ago
ci/todo: state less about the OCI option More... 3 months ago
bnf: drop the json option annotations More... 3 months ago
Merge branch 'ok-bnf' into claude/pr-1817-comments-d4q2c5 More... 3 months ago
go More... 3 months ago
go More... 3 months ago
todo: leave sergey.md alone More... 3 months ago
bnf: address grammar review feedback More... 3 months ago
readonly More... 3 months ago
ci/todo: record the OCI decision where the flakes are More... 3 months ago
emergent_testing: describing a hostile rejection cannot strand the page More... 3 months ago
ci/todo: drop the OCI design task More... 3 months ago
docker: remove the Dockerfile More... 3 months ago
no map types More... 3 months ago
emergent_testing: the loading walk carries a module's proof, not the module More... 3 months ago
Merge branch 'main' into ok-bnf More... 3 months ago
map More... 3 months ago
ok More... 3 months ago
changelog: the entry for #1818 More... 3 months ago
emergent_testing: the browser's module loading is an effect More... 3 months ago
effects: fan-out joins the operations more than one host implements (#1815) More... 3 months ago
nix: restore executable dev shell script More... 3 months ago
ok More... 3 months ago
bnf: address grammar review feedback More... 3 months ago
ok More... 3 months ago
ok More... 3 months ago