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
Merge branch 'main' into meta6 More... 2 months ago
Merge branch 'main' into claude/bnf-repeat-rule-patterns-onhbrt More... 2 months ago
Merge branch 'main' into claude/remove-useless-tests-3u1nx6 More... 2 months ago
nanvm-lib: implement %, /, **, <, <=, >, >= — every remaining arithmetic and comparison operator (#1864) More... 2 months ago
AGENTS.md: recommend a native runner for a `proof.mjs` More... 2 months ago
rtti, emergent_testing: drop the JS-caller proofs and the hardening they pinned More... 2 months ago
ok More... 2 months ago
one more More... 2 months ago
Round non-decimal StringToNumber literals exactly once More... 2 months ago
ok More... 2 months ago
Implement full StringToNumber grammar and exact ECMA whitespace trimming More... 2 months ago
relational: parse the full StringToBigInt grammar, not just decimal More... 2 months ago
Merge branch 'main' into claude/rust-code-prs-4898b6 More... 2 months ago
ok More... 2 months ago
ok More... 2 months ago
ok More... 2 months ago
bnf/rtti: record the pattern-keyed variant, which has no sound test More... 2 months ago
bnf/rtti: name the reading an optional repeat branch picks More... 2 months ago
bnf/rtti: a numeric index signature is an open key set too More... 2 months ago
bnf/rtti: record that a refusal does not leave its branch More... 2 months ago
bnf/rtti: an open key set carries no branches to refuse More... 2 months ago
bnf/rtti: refuse a branch that admits undefined as written More... 2 months ago
bnf/rtti: refuse a branch that is required and admits undefined More... 2 months ago
bnf/rtti: an optional key is not a required one typed with undefined More... 2 months ago
bnf/rtti: an optional key still names a repeat branch More... 2 months ago
ebnf: the new rtti map owes a co-located proof More... 2 months ago
bnf/rtti: a symbol key counts towards nothing, repetitions included More... 2 months ago
todo: the classical fixture cannot delegate to a grammar that ports away More... 2 months ago
bnf/rtti: a symbol key names no variant branch More... 2 months ago
todo: two missing blockers, a survivor misfiled, and two stale instructions More... 2 months ago