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
ok More... 3 months ago
Merge branch 'main' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
ok More... 3 months ago
Merge branch 'main' into sasha-gil/pick-todo-and-implement-01 More... 3 months ago
Merge remote-tracking branch 'origin/claude/bnf-parser-ast-transformers-5zuyrz' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
bnf/todo: 207's default variant is the identity; the tag is inherited More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago
Merge branch 'main' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
ci: generate flake.lock, and take back two --quiet flags (#1813) More... 3 months ago
bnf/todo: 207's helpers come from one factory that binds M More... 3 months ago
nanvm: implement subtraction (#1810) More... 3 months ago
bnf/todo: 207 keys the transformer map by rule value, not by name More... 3 months ago
effects: the move stays a move — `Import` keeps its plain tuple More... 3 months ago
ok More... 3 months ago
bnf/todo: 207 fixes the metadata monoid, the default variant, L, and text More... 3 months ago
effects: the prose catches up with the operation that moved More... 3 months ago
bnf/todo: rewrap a long line in 207 §10 More... 3 months ago
bnf/todo: 207 settles all three stage-0 decisions More... 3 months ago
ci: say what the two remaining nix flags actually do, measured More... 3 months ago
address CR comments More... 3 months ago
bnf/todo: 207 adds tagging constructors, fixes the digit rule, commits to one M More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago
changelog: the flake.lock entry, under this pull request's number More... 3 months ago
ci: the nix shell's private type leaves the authored .mjs More... 3 months ago
Merge branch 'sasha-gil/pick-todo-and-implement-00' More... 3 months ago
nanvm: cover subtraction edge cases More... 3 months ago
ci: generate flake.lock, and take back two --quiet flags More... 3 months ago
Merge remote-tracking branch 'origin/claude/bnf-parser-ast-transformers-5zuyrz' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
bnf/todo: 207's worked example is a complete grammar, not a JSON sketch More... 3 months ago
changelog: the entry for #1812 More... 3 months ago