1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 24 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
effects/browser: assert through the shared helper More... 3 months ago
Merge branch 'main' into claude/option-null-lambdas-mqpwck More... 3 months ago
effects/browser: the runner keeps the effect's types More... 3 months ago
ci: the job schema can express ordering (#1762) More... 3 months ago
Merge branch 'main' into claude/option-null-lambdas-mqpwck More... 3 months ago
edag: two stale comments, and a changelog entry within the guideline More... 3 months ago
emergent_testing: a run that fails as a runner still reports More... 3 months ago
edag/amnesia: record why the read pattern is not a hardening claim More... 3 months ago
todo/edag: respell the stage-1 discussion for the new arities More... 3 months ago
emergent_testing: drop the unused list import More... 3 months ago
emergent_testing: join a walk's records as a rope, not an array More... 3 months ago
todo: file the EDAG flat-example re-notation (#1760) More... 3 months ago
Merge branch 'main' into claude/option-null-lambdas-mqpwck More... 3 months ago
ci: pin the proof's steps literal More... 3 months ago
emergent_testing: follow the example for the browser catch, and reconcile the todo More... 3 months ago
todo: the object-node shorthand is not an empty object More... 3 months ago
changelog: name the entry by its real PR number More... 3 months ago
emergent_testing: join a walk's outcomes once, not pairwise More... 3 months ago
ci: the job schema can express ordering More... 3 months ago
edag: end chain lambdas by arity, not a null terminator More... 3 months ago
emergent_testing: read each browser proof export exactly once More... 3 months ago
Merge branch 'main' into claude/review-todos-documentation-hrijwz More... 3 months ago
Merge remote-tracking branch 'origin/main' into claude/todo-unification-runners-7wvd1q More... 3 months ago
todo: file the EDAG flat-example re-notation More... 3 months ago
changelog: name the entry by its real PR number More... 3 months ago
emergent_testing: the browser runs the shared traversal More... 3 months ago
todo: Stage 2 needs a CI job that type-checks the packed artifact (#1757) More... 3 months ago
Merge branch 'main' into claude/private-ts-todo-partial-bydyc9 More... 3 months ago
Normalize markdown heading levels and remove @module JSDoc tags (#1756) More... 3 months ago
edag/todo: end chain lambdas by absence (option), not null (#1755) More... 3 months ago