1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 21 hours 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
djs/parser: name the grammar's slots, and find a fifth semantic gap More... 3 months ago
types/rtti/data: bound the exact-length pattern by length again More... 3 months ago
types/rtti/data: a hole separates the two spellings too More... 3 months ago
types/rtti/data: recognize an array index by its canonical spelling More... 3 months ago
types/rtti/data: hold an array's non-index keys to the rest More... 3 months ago
types/rtti/data: correct the trim guard's justification More... 3 months ago
Merge remote-tracking branch 'origin/main' into djs/parser-grammar-impl More... 3 months ago
djs/parser: write the DJS module grammar in BNF More... 3 months ago
changelog: cover the optional-position rendering in #1680 More... 3 months ago
types/rtti/data: trim a prefix restating its rest, print omittable positions More... 3 months ago
changelog: entry for #1680 More... 3 months ago
types/rtti/data: make tuples open More... 3 months ago
edag/amnesia: address review findings More... 3 months ago
ci/config: bump pinned tool and dependency versions More... 3 months ago
docs(edag): link execution models More... 3 months ago
docs(edag): describe execution models More... 3 months ago
Merge remote-tracking branch 'origin/bnf/keep-registered-token-symbols' into djs/recover-token-layer More... 3 months ago
edag/amnesia: README — a testing evaluator, not a VM More... 3 months ago
amnesia VM More... 3 months ago
edag/vm: proofs for => and () More... 3 months ago
args More... 3 months ago
minor More... 3 months ago
ok More... 3 months ago
closure More... 3 months ago
edag/vm: proof for the tree-walking evaluator (#1678) More... 3 months ago
edag/vm: proof for the tree-walking evaluator More... 3 months ago
edag/vm: fix o2 returning the handler instead of a value More... 3 months ago
Merge remote-tracking branch 'origin/main' into vm More... 3 months ago
VM More... 3 months ago
ok More... 3 months ago