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
cases More... 3 months ago
types/rtti/todo: fix the AGENTS.md link in checked-const-pin More... 3 months ago
Merge branch 'main' into claude/const-t-template-param-rg80ir More... 3 months ago
Merge branch 'main' into claude/busy-hopper-ftrm87 More... 3 months ago
Merge branch 'main' into djs/parser-grammar-impl More... 3 months ago
edag/amnesia: add a tree-walking evaluator for exp (#1677) More... 3 months ago
djs/parser: make the fold's traversals stack-safe More... 3 months ago
ok More... 3 months ago
djs/parser: cut over to the BNF parser, delete the state machine More... 3 months ago
minor More... 3 months ago
bnf: split the position-range task out of new-parser More... 3 months ago
types/rtti: run the const-inference pins as a proof, drop the completed todo More... 3 months ago
ok More... 3 months ago
AGENTS: recommend a `const` type parameter over a call-site cast More... 3 months ago
changelog: add the entry for #1683 More... 3 months ago
types: infer literal arguments with `const` type parameters More... 3 months ago
djs/parser: pin the EOF contract through the parser More... 3 months ago
Merge remote-tracking branch 'origin/main' into djs/parser-grammar-impl More... 3 months ago
Merge branch 'main' into claude/busy-hopper-ftrm87 More... 3 months ago
djs/parser: annotate the AstModule tuple More... 3 months ago
Merge branch 'main' into vm More... 3 months ago
Merge branch 'main' into djs/parser-grammar-impl More... 3 months ago
djs/parser: recover the token-symbol input layer (#1679) More... 3 months ago
djs/parser: fold the match into an AstModule More... 3 months ago
edag/amnesia: fix stale proof header and drop an unused type parameter More... 3 months ago
Merge branch 'main' into vm More... 3 months ago
types/rtti/data: make tuples open (#1680) More... 3 months ago
ok More... 3 months ago
edag/amnesia: mark the private handler typedef with _ More... 3 months ago
djs/parser: close the two coverage gaps the grammar opened More... 3 months ago