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
todo: shorten the heading to what the issue is More... 3 months ago
ci: run the Node 24 job through its generated Nix flake More... 3 months ago
emergent_testing: run the shared proof traversal sequentially More... 3 months ago
spec/datajs: specify the DataJS interchange format (#1772) More... 3 months ago
todo: verify local TypeScript version More... 3 months ago
spec/datajs: no media type of its own, per the dialect design More... 3 months ago
ci todo: delegate TypeScript dependencies to installers More... 3 months ago
spec/datajs: the __proto__ rule is on the decoded value More... 3 months ago
changelog: give the entry its topic prefix More... 3 months ago
todo: define pin-derived TypeScript Nix tool More... 3 months ago
Merge branch 'main' into claude/parser-serializer-restructure-fn8oz2 More... 3 months ago
Merge branch 'main' into claude/private-ts-todo-partial-bydyc9 More... 3 months ago
spec/datajs: state the value-versus-object line once, not per case More... 3 months ago
Merge branch 'main' into todo/typescript-ci-tool More... 3 months ago
ci todo: clarify TypeScript tool ownership More... 3 months ago
spec/datajs: property attributes are outside the data model More... 3 months ago
rtti: bound a const container before reading its members (#1766) More... 3 months ago
emergent_testing: the sequential plan, and the second sharing attempt's record (#1759) More... 3 months ago
spec/datajs: conformance by role; fix the duplicated summary More... 3 months ago
spec/datajs: JSON conversion judges the exported graph only More... 3 months ago
spec/datajs: primitive sharing converts to JSON; zero bigint is 0n More... 3 months ago
spec/datajs: formalize signed Infinity, widen the Status gap More... 3 months ago
todo: preserve package-check isolation under Nix More... 3 months ago
rtti: drop the presence list; probe as the walks go More... 3 months ago
todo: reference related Nix work More... 3 months ago
todo: prefer Nix before TypeScript PATH workarounds More... 3 months ago
todo: the yields and the guard get ordering proofs, one per route More... 3 months ago
todo: clarify package-check TypeScript PATH More... 3 months ago
todo: the browser start handler yields before the proof runs More... 3 months ago
changelog: trim the entry to the documented length More... 3 months ago