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
bnf: add LL1 semantic transformers (#1828) More... 3 months ago
emergent_testing: an unreadable proof export is one failed module, not a dead run (#1830) More... 3 months ago
docs: link the Nix scripts instead of describing them More... 3 months ago
docs: describe the Nix environment by purpose, not by contents More... 3 months ago
emergent_testing: the issue no longer contradicts itself about what is closed More... 3 months ago
STOP! REVERTING MY DEV.SH!!!!!! More... 3 months ago
bnf: accept stringified numeric keys in variantOf More... 3 months ago
emergent_testing: the two runners spell an unreadable module the same way More... 3 months ago
minor More... 3 months ago
bnf: make repeat transformer erasure implementable More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago
Merge branch 'main' into meta-impl More... 3 months ago
changelog: the entry for #1830 More... 3 months ago
emergent_testing: an unreadable `proof` export is one failed module, not a dead run More... 3 months ago
Merge branch 'meta' into meta-impl More... 3 months ago
bnf: design generic parser metadata (#1826) More... 3 months ago
docs: separate parser and RTTI mapping contracts More... 3 months ago
Merge branch 'meta' into meta-impl More... 3 months ago
docs: keep developer shell changes out of metadata design More... 3 months ago
Merge branch 'main' into meta More... 3 months ago
changelog: record LL1 semantic transformers More... 3 months ago
bnf: add LL1 semantic transformers More... 3 months ago
website: the browser proof manifest is generated by a FunctionalScript program (#1827) More... 3 months ago
effects: the `Dirent` change is breaking, and `dev` had the same walk More... 3 months ago
text: record what `utf8ToString` costs, measured More... 3 months ago
effects: a directory entry says whether it is a directory More... 3 months ago
bnf: reconcile metadata review feedback More... 3 months ago
website: the walk prunes what it will not read, and says what it cannot refuse More... 3 months ago
docs: explain developer shell purpose More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago