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
crypto/vdf: use generic iterate combinator More... 3 months ago
types/function: prove iterate semantics More... 3 months ago
types/function: add sequential iterate combinator More... 3 months ago
types/rtti/todo: the parse issue is a shared principle, not support for A More... 3 months ago
todo: gate retirement on nominal support; scope the immutability claim More... 3 months ago
todo: fix two overstated claims in the epic More... 3 months ago
types/rtti/todo: semantic empty rest, a verdict oracle, and a BREAKING label More... 3 months ago
emergent_testing: file the SpiderMonkey test runner issue More... 3 months ago
todo: move rtti out of fjs/types/ More... 3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago
Merge branch 'main' into codex/fix-an-important-open-issue-from-todo-files More... 3 months ago
types/rtti/todo: the `close(c, never)` fix was wrong; normalize the rest More... 3 months ago
Merge branch 'claude/open-issue-fix-76mxy8' from origin More... 3 months ago
protocol/json_rpc: export SuccessResponse and ErrorResponse More... 3 months ago
Merge branch 'claude/edag-optional-property-lambda-7fho1u' of https://github.com/functionalscript/functionalscript into claude/edag-optional-property-lambda-7fho1u More... 3 months ago
types/rtti/todo: `close(c, never)` and `close(c)` are one set, read three ways More... 3 months ago
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u More... 3 months ago
types/rtti/todo: narrow what answer B owes the README More... 3 months ago
types/rtti/todo: #1708 landed, and this does not fold into its issue More... 3 months ago
Merge branch 'main' into claude/open-issue-fix-76mxy8 More... 3 months ago
Merge branch 'main' into codex/fix-an-important-open-issue-from-todo More... 3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago
Merge branch 'main' into codex/fix-an-important-open-issue-from-todo-files More... 3 months ago
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u More... 3 months ago
protocol: retarget the docs quoting the removed private constructors More... 3 months ago
fjs/web: file an issue for the missing-index message (#1714) More... 3 months ago
types/rtti/ts: render trailing omittable positions optional (#1708) More... 3 months ago
changelog: entry for #1720 More... 3 months ago
protocol/json_rpc: own and export the response-envelope constructors More... 3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago