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
bnf: record that subset does not replace parse's projection More... 3 months ago
Merge branch 'main' into claude/simple-file-server-tools-8mnzyv More... 3 months ago
edag/todo: record the four guard combinations of a receiver pair More... 3 months ago
Merge remote-tracking branch 'origin/claude/todo-files-audit-esywrn' into claude/todo-files-audit-esywrn More... 3 months ago
mcp: tie i66D's proposed helpers to their schema type More... 3 months ago
Merge origin/claude/create-pr-xg21p2 into claude/create-pr-xg21p2 More... 3 months ago
edag/todo: the shape bound holds for `|?.` only More... 3 months ago
Merge branch 'main' into claude/create-pr-xg21p2 More... 3 months ago
Merge branch 'main' into claude/todo-files-audit-esywrn More... 3 months ago
edag/todo: bound what a lambdas can hold More... 3 months ago
dev: build allFiles effects declaratively (#1691) More... 3 months ago
js: cite _KeywordToken at its own line, not its comment's close More... 3 months ago
todo: link i168 and i176, found by matching descriptions rather than names More... 3 months ago
todo: keep i66D's params default undefined-only, fix the padding example More... 3 months ago
Merge remote-tracking branch 'origin/main' into claude/simple-file-server-tools-8mnzyv More... 3 months ago
changelog: entry for #1693 More... 3 months ago
Merge branch 'main' into claude/create-pr-xg21p2 More... 3 months ago
todo: link i37, which a zero-padded filename hid from the sweep More... 3 months ago
Merge branch 'main' into codex/fix-open-issues-in-todo-files More... 3 months ago
Merge branch 'main' into claude/todo-files-audit-esywrn More... 3 months ago
todo: record that i207-token-tables' keyword half already shipped More... 3 months ago
edag/todo: scope the `close` validation claim to what was tested More... 3 months ago
todo: repair i190's line citations, and file the js/tokenizer citation drift More... 3 months ago
edag/todo: separate the two kinds of cut, and stop leaning on extensibility More... 3 months ago
types/bigfloat: round decimals onto a target format's grid (#1690) More... 3 months ago
edag/todo: fix two invalid examples More... 3 months ago
effects: gate allVoid's allReduce derivation on allReduce using allOk More... 3 months ago
edag/todo: minimality is the shortest valid form, and it is decided More... 3 months ago
edag/todo: cut the walk at every available point, not just its ends More... 3 months ago
todo: correct a misread consumer count, and the blocker state it describes More... 3 months ago