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/meta-ast-mapping: a mapping's failure is a value, and the boundary is one operation More... 2 months ago
Merge remote-tracking branch 'origin/ebnf-ll1' into ebnf-ll1 More... 2 months ago
ebnf/todo/meta-ast-mapping: seven review findings on the fold and its types More... 2 months ago
media/json: pin the flag reset with an adjacent string More... 2 months ago
todo: scope the migrated-job factory to all-Nix jobs; refresh four drifted citations More... 2 months ago
todo: 159 section 4 cannot promise a blanket impl of foreign traits More... 2 months ago
fjs/AGENTS.md: the `_` prefix is for exported names, and says so More... 2 months ago
media/json: "errors alone", not "one error", and the cargo record More... 2 months ago
media/json: a malformed string literal is errors alone More... 2 months ago
ok More... 2 months ago
todo: separate the utf8 byte-list directions; drop a fixpoint overclaim More... 2 months ago
Merge branch 'main' into ebnf-ll1 More... 2 months ago
todo: fix the backwards derive(Ord) warning; name the fixpoint exports private More... 2 months ago
todo: merge the duplicate coercion tracker, fix the padding contract, co-locate three issues More... 2 months ago
todo: exact counts and quotes per the fact-checking review More... 2 months ago
todo: name the shared MCP session factory as private linkage More... 2 months ago
todo: correct three review-pass proposals per PR review, round four More... 2 months ago
todo: correct four review-pass proposals per PR review, round three More... 2 months ago
Merge branch 'main' into claude/wizardly-wright-h3jhh9 More... 2 months ago
ci: one shell per platform, with 32-bit Linux in it (#1892) More... 2 months ago
ok More... 2 months ago
ci: fold the 32-bit Linux job back into ubuntu-intel More... 2 months ago
ci: one shell per platform, with 32-bit Linux in it More... 2 months ago
todo: correct three more review-pass proposals per PR review More... 2 months ago
Merge branch 'main' into ebnf-26-09-04-11 More... 2 months ago
PropertyName More... 2 months ago
todo: correct two review-pass proposals per PR review More... 2 months ago
todo: file DRY and separation-of-concerns proposals across fjs and nanvm-lib More... 2 months ago
Merge branch 'main' into ebnf-ll1 More... 2 months ago
nanvm/proof: bridge the corpus to amnesia, the real EDAG evaluator (#1889) More... 2 months ago