1
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day 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
emergent_testing: name each test before running it in `fjs t` More... 3 months ago
datajs: state the keyword-collision risk precisely, and what reduces it More... 3 months ago
todo/media: -0 is the exception to the round-trip claim; refine it out More... 3 months ago
ci: record why three jobs have no Nix flake More... 3 months ago
todo: new exports carry their own co-located proofs More... 3 months ago
datajs: separate what the $ prefix proves from what it argues More... 3 months ago
todo: pin addition's result type; scope the JSON walk to kinds, not values More... 3 months ago
Merge branch 'claude/datajs-mandatory-semicolon' of https://github.com/functionalscript/functionalscript into claude/datajs-mandatory-semicolon More... 3 months ago
datajs: record the $ prefix as decided, with the placeholder cost stated More... 3 months ago
Merge branch 'main' into claude/datajs-mandatory-semicolon More... 3 months ago
todo/media: the JSON walk must be cycle-safe, via rtti/data's traversal More... 3 months ago
datajs: `;` terminates every statement, `export default` included More... 3 months ago
Merge branch 'main' into claude/wizardly-wright-87pqgx More... 3 months ago
emergent_testing: report `fjs t` failures at the end More... 3 months ago
ci: enter a job's Nix shell through a generated run script (#1787) More... 3 months ago
todo/media: the JSON walk covers declared members, not the open rest More... 3 months ago
Merge branch 'main' into claude/wizardly-wright-87pqgx More... 3 months ago
todo: cast the generic addition, and prove the hoisted asserts More... 3 months ago
Merge branch 'main' into claude/nix-todos-aylmrk More... 3 months ago
Merge branch 'main' into codex/fix-open-issue-in-todo-files More... 3 months ago
todo: refuse non-JSON schemas at construction; delegate resolveNode More... 3 months ago
ci: drop the run script's external-tool scan More... 3 months ago
todo: one rootedness inventory, and name the JSON-representability gap More... 3 months ago
ci: drop the run script's dirname call, and flatten writeJob More... 3 months ago
Merge branch 'main' into claude/wizardly-wright-87pqgx More... 3 months ago
todo: report `fjs t` failures at the end (#1785) More... 3 months ago
todo/media: derive the value with Ts<S>, keeping Rest on the parameter More... 3 months ago
Merge branch 'main' into ok-bnf More... 3 months ago
changelog: entry for #1787 More... 3 months ago
ci: enter a job's Nix shell through a generated run script More... 3 months ago