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
effects: `Import` belongs to whoever implements it, and that is two hosts More... 3 months ago
Merge branch 'main' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
ok More... 3 months ago
bnf/todo: 207 fixes the metadata leaf, the JSON grammar, and the staging More... 3 months ago
Merge branch 'main' into sasha-gil/pick-todo-and-implement-00 More... 3 months ago
docs: require complete CI validation More... 3 months ago
nanvm: update unknown operation proof More... 3 months ago
Merge branch 'sasha-gil/pick-todo-and-implement-00' into sasha-gil/pick-todo-and-implement-01 More... 3 months ago
changelog: add 1811 More... 3 months ago
ci: run the non-Windows platform jobs in the shared shell (#1808) More... 3 months ago
nanvm: implement addition More... 3 months ago
Merge branch 'main' into sasha-gil/pick-todo-and-implement-00 More... 3 months ago
nanvm: clarify numeric type errors More... 3 months ago
changelog: add 1810 More... 3 months ago
nanvm: implement subtraction More... 3 months ago
bnf/todo: 207 gives both backends the metadata leaf More... 3 months ago
bnf/todo: 207 splits the transformer protocol by rule kind More... 3 months ago
Merge branch 'main' into claude/nix-todos-aylmrk More... 3 months ago
emergent_testing: the browser's report is folded in FunctionalScript (#1809) More... 3 months ago
Merge branch 'main' into claude/nix-todos-aylmrk More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago
emergent_testing: the report proofs check the results survive More... 3 months ago
nanvm: format bigint string coercion as decimal (#1709) More... 3 months ago
ci, media/nix: prove the flake contents and the step positions; fix two escapes More... 3 months ago
nanvm: fix bigint Display to use sign(), drop stale README More... 3 months ago
changelog: the entry for #1809 More... 3 months ago
emergent_testing: the browser's report is folded in FunctionalScript More... 3 months ago
Merge branch 'main' into codex/fix-open-issue-in-todo-files More... 3 months ago
bnf/todo: 207's JSON map declares its child types, and says why it must More... 3 months ago
Merge branch 'claude/nix-todos-aylmrk' of https://github.com/functionalscript/functionalscript into claude/nix-todos-aylmrk More... 3 months ago