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
Merge origin/claude/create-pr-xg21p2 into claude/create-pr-xg21p2 More... 3 months ago
Merge branch 'main' into claude/create-pr-xg21p2 More... 3 months ago
fix a bug when `at` attached to `p[0]` More... 3 months ago
djs/parser: cut over to the BNF parser (#1684) More... 3 months ago
remove lambda.md More... 3 months ago
Merge branch 'claude/create-pr-xg21p2' into vm-new More... 3 months ago
edag/amnesia: prove the `()` chain More... 3 months ago
option More... 3 months ago
djs/parser: retire the new-parser issue, rebase 157 on the cutover More... 3 months ago
djs/parser: document syntax errors winning over semantic ones More... 3 months ago
Merge branch 'main' into vm-lambda More... 3 months ago
HCF More... 3 months ago
Merge remote-tracking branch 'origin/djs/parser-cutover' into djs/parser-cutover More... 3 months ago
changelog: record the tightened token-stream contract More... 3 months ago
Merge branch 'main' into djs/parser-cutover More... 3 months ago
djs/parser: cut over to the BNF parser, delete the state machine More... 3 months ago
Merge branch 'djs/parser-grammar-impl' into djs/parser-cutover More... 3 months ago
djs/parser: write the DJS module grammar in BNF (#1681) More... 3 months ago
remove type More... 3 months ago
Hcf and Property More... 3 months ago
Merge remote-tracking branch 'origin/djs/parser-grammar-impl' into djs/parser-grammar-impl More... 3 months ago
djs/parser: build proof fixtures immutably, document the temporary export More... 3 months ago
Merge branch 'main' into djs/parser-grammar-impl More... 3 months ago
types: infer literal arguments with `const` type parameters (#1683) More... 3 months ago
ok More... 3 months ago
Merge branch 'main' into claude/const-t-template-param-rg80ir More... 3 months ago
Merge branch 'main' into djs/parser-grammar-impl More... 3 months ago
Update CI dependencies and toolchain versions (#1682) More... 3 months ago
Merge remote-tracking branch 'origin/djs/parser-grammar-impl' into djs/parser-grammar-impl More... 3 months ago
djs/parser: check object keys in fold order, not ahead of it More... 3 months ago