F

functionalscript

Settings | Report Duplicate

1

I Use This!

Very High Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 13, 2025 — Nov 13, 2026 Showing page 438 of 540 Search / Filter on:
website: support light and dark browser test themes	Sergey Shandar	More...				3 months ago
rtti/todo: resolve rests instead of masking, print via the absent bit	Claude	More...				3 months ago
todo: stage 4's snapshot reaches validate but not parse	Claude	More...				3 months ago
types/rtti/todo: word the empty-rest changelog entry for the order it lands in	Claude	More...				3 months ago
rtti/todo: say which vocabulary a Phantom annotation is written in	Claude	More...				3 months ago
Merge branch 'main' into fix/iterate-combinator	Sergey Shandar	More...				3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf	Sergey Shandar	More...				3 months ago
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u	Sergey Shandar	More...				3 months ago
docs: add proposal to move rtti out of types/ (#1722)	Sergey Shandar	More...				3 months ago
emergent_testing: type browser proof callbacks	Sergey Shandar	More...				3 months ago
rtti/todo: 10 files in 9 modules, not 10 modules	Claude	More...				3 months ago
website: assert generated virtual files	Sergey Shandar	More...				3 months ago
rtti/todo: recurse through unions, read _TsRaw, audit direct undefined members	Claude	More...				3 months ago
website: complete browser proof runs	Sergey Shandar	More...				3 months ago
Merge branch 'main' into claude/rtti-proposal-qqkct0	Sergey Shandar	More...				3 months ago
rtti/todo: decide absence in the container loop, keep the marker internal	Claude	More...				3 months ago
types/rtti/todo: the undefined strip must be context-local	Claude	More...				3 months ago
rtti/todo: define the type-level absence marker and the referenced-position case	Claude	More...				3 months ago
website: make browser generation portable	Sergey Shandar	More...				3 months ago
todo: the data-reader divergence is not confined to vacuous patterns	Claude	More...				3 months ago
types/rtti/todo: B's invariant belongs on the close export, and is narrower than stated	Claude	More...				3 months ago
todo: retiring a types.ts also needs the compiler to read the module	Claude	More...				3 months ago
rtti/todo: slice before mapping, and require option handlers in both readers	Claude	More...				3 months ago
website: load browser proofs without blocking startup	Sergey Shandar	More...				3 months ago
types/rtti/todo: A must strip undefined from every rest, not only drop empty ones	Claude	More...				3 months ago
rtti/todo: state why the entry node keeps its absent bit	Claude	More...				3 months ago
todo: infinities too; stage 5 must read the snapshot, not the thunk	Claude	More...				3 months ago
rtti/todo: state the option migration's narrowing, fix counts, cite siblings	Claude	More...				3 months ago
todo: the snapshot must survive serialization; function annotations are unavailable	Claude	More...				3 months ago
types/rtti/todo: name mutual subset as the empty-rest comparison	Claude	More...				3 months ago

←
1
2
…
434
435
436
437
438
439
440
441
442
…
539
540
→