1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 23 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 branch 'main' into fix/iterate-combinator More... 3 months ago
emergent_testing: point the Nix task at the job list, not the writer More... 3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago
types/rtti/todo: A owes the canonical form a change, not just the readers More... 3 months ago
emergent_testing: require throw-inversion in the SpiderMonkey walker More... 3 months ago
todo: the last unqualified free-schema claim More... 3 months ago
rtti/todo: propose closed containers by default, then `option` as omission More... 3 months ago
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u More... 3 months ago
emergent_testing: name the versioned shell and pin why collectTests is safe More... 3 months ago
protocol/json_rpc: own and export the response-envelope constructors (#1720) More... 3 months ago
todo: retirement has two granularities; fix two stale stage-11/12 claims More... 3 months ago
Merge branch 'claude/spidermonkey-test-runner-k3t4xt' into local work More... 3 months ago
emergent_testing: pin two SpiderMonkey generator requirements More... 3 months ago
todo: symbolic application needs parametricity; anchoring gates stage 4 More... 3 months ago
basen: decouple normalization proof from cbase32 (#1717) More... 3 months ago
Merge branch 'claude/compile-time-type-verification-rtti-bxxwgf' of https://github.com/functionalscript/functionalscript into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago
todo: check the schema before checking with it; fix three stale claims More... 3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago
todo: stage 12 owns local initializers, not only imported roots More... 3 months ago
types/rtti/todo: A decides the struct kind before it can be written More... 3 months ago
Merge branch 'main' into claude/remove-changelog-none-requirement-r8q1r4 More... 3 months ago
types/rtti/todo: state the empty-rest test as an equality More... 3 months ago
Merge branch 'main' into claude/spidermonkey-test-runner-k3t4xt More... 3 months ago
todo: scope the identity-aware exposure; narrow 3360's dependency More... 3 months ago
types/rtti/todo: pin the retained witnesses too, both of them More... 3 months ago
Merge branch 'main' into claude/open-issue-fix-76mxy8 More... 3 months ago
todo: fix ten factual errors found in human review More... 3 months ago
Merge branch 'main' into fix/iterate-combinator More... 3 months ago
Merge branch 'main' into codex/fix-an-important-open-issue-from-todo-files More... 3 months ago
todo: the boundary rule is symmetric More... 3 months ago