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
ebnf/todo: file meta-ast-mapping, the metadata channel the parser folds a rewrite set through More... 2 months ago
nanvm/proof: fix the module doc's self-link to fjs/edag/proof.f.mjs More... 2 months ago
nanvm/proof: cross-check the escape reference against amnesia More... 2 months ago
nanvm/proof: drop the dead code the amnesia bridge left behind More... 2 months ago
Merge branch 'main' into claude/edug-amnesia-nanvm-tests-23loo1 More... 2 months ago
[Discussion] hasOwn instead of in — not for merge as-is (#1888) More... 2 months ago
spec/todo/2345: fix o2alexanderfedin's four findings on d5ce746 More... 2 months ago
spec/todo: fix three more Codex findings on the latest commit More... 2 months ago
Merge branch 'main' into claude/edug-amnesia-nanvm-tests-23loo1 More... 2 months ago
spec/todo/2345: spell out the EDAG node and VM command for hasOwn More... 2 months ago
spec/todo/1015: separate construction-time vs lookup-time readings of (2) More... 2 months ago
spec/todo: switch hasOwn to Object.hasOwn, fix review findings More... 2 months ago
Merge branch 'main' into claude/in-operator-proposal-discussion More... 2 months ago
nanvm/proof: bridge the corpus to amnesia, the real EDAG evaluator More... 2 months ago
my More... 2 months ago
ebnf/ll1: the LL(1) backend, building the typed AST (#1887) More... 2 months ago
ok More... 2 months ago
Merge branch 'main' into claude/in-operator-proposal-discussion More... 2 months ago
Merge remote-tracking branch 'origin/main' into ebnf-ll1 More... 2 months ago
ebnf/map: the rule mapping, a rewrite of the typed AST (#1886) More... 2 months ago
ebnf/map: replacing a rule loses the order `Ast` is monotone in More... 2 months ago
ebnf/map: file how far the rewrite restricts a rule, rather than decide it More... 2 months ago
spec: split the VM-vs-language layering question into its own TODO More... 2 months ago
spec: own(...) !== undefined is correct after all, per 1010 More... 2 months ago
ebnf/map: an info is a tuple, and a `const` spells a data rule More... 2 months ago
ebnf/map: an info's arity is the lowering's, and two key cases are filed More... 2 months ago
spec: address Copilot findings on the hasOwn doc More... 2 months ago
spec: fix Codex findings on the hasOwn doc More... 2 months ago
spec: note why the doc stops at ?.value/!== undefined shapes More... 2 months ago
spec: rewrite the in proposal as hasOwn, per PR discussion More... 2 months ago