1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 20 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
0.45.0 (#1555) More... 3 months ago
Improve djs/tokenizer branch coverage: 96.83% → 98.40% (#1553) More... 3 months ago
Replace CHANGELOG.md with a changelog/ directory (#1552) More... 3 months ago
Add changelog restructuring and website publishing proposals (#1551) More... 3 months ago
RTTI TS printer: recursive schemas via the data form (#1547) More... 3 months ago
ci: bump cachix/install-nix-action to v31.11.1 (#1550) More... 3 months ago
media/json/tokenizer: cover parseMinusState's EOF branch directly (#1549) More... 3 months ago
types/sorted_list: name the two tail policies keepTail and dropTail (#1546) More... 3 months ago
common/monoid: make `fold` a balanced reduction (#1548) More... 3 months ago
Migration close-out: drop the .js ignore, browser-native browser-testing plan, @import sweep (#1545) More... 3 months ago
Remove unreachable throw in djs serializer's constSerialize (#1544) More... 3 months ago
types/uint8array: derive toVec from listToVec instead of a size bound (#1543) More... 3 months ago
JSON Schema: recursive schemas via the RTTI data form (#1542) More... 3 months ago
Remove unreachable overflow check in base64 decode (#1541) More... 3 months ago
types/object: add structurallySame and assertStructurallySame (#1538) More... 3 months ago
Add RTTI serializable data form with canonical operations (#1539) More... 3 months ago
Prepare the upstream typedef-doc issue; retitle the formatter todo (#1530) More... 3 months ago
Remove unreachable fallback branch in UTF-16 decode step (#1540) More... 3 months ago
Add test coverage for defensive branches in JSON parser (#1536) More... 3 months ago
Share EOF flush logic between UTF-8 and UTF-16 decoders (#1537) More... 3 months ago
Add proof coverage for initValue0's invalid-node guard in btree remove (#1535) More... 3 months ago
media/type: declare the magic-byte signatures once (#1533) More... 3 months ago
Remove Eff wrapper; convert all modules to raw step combinators (#1534) More... 3 months ago
Exercise main() directly in emergent_testing proof tests (#1532) More... 3 months ago
LL(1): match with an explicit stack and a shared-input cursor (#1531) More... 3 months ago
Add io-effect-migration.md: staged plan for Result-based effects (#1529) More... 3 months ago
Add coverage for writeFile-over-JsModule branch in virtual node effects (#1528) More... 3 months ago
bigfloat: keep `decToBin`'s mantissa at 53 bits when rounding carries (#1527) More... 3 months ago
Exact emitted declarations: keep every @module header, remove the last elided any (#1526) More... 3 months ago
Ship declarations only: drop the JS emit pass from prepack (#1520) More... 3 months ago