1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 19 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
tf: step 1 — discover proofs by exported `proof` property, not `default` (#889) More... 6 months ago
add issue: loadModuleMap predicate to avoid loading unwanted files (#891) More... 6 months ago
Add issue 65Y: proof discovery by exported property (#888) More... 6 months ago
Add issue tracking documents for fs/io cleanup and test refactoring (#887) More... 6 months ago
effects: add foldStep/forEachStep combinators (i209) (#885) More... 6 months ago
test: add coverage for dev/module.f.ts env function (#886) More... 6 months ago
CI action versions (#884) More... 6 months ago
tf: rename test.f.ts → proof.f.ts; fix sandbox await overhead (#883) More... 6 months ago
tf: async test support + sandbox/effectRun fixes + isTest consolidation (#882) More... 6 months ago
tf: isTest recognises proof.{f.}ts/js basenames (i204 iteration 1) (#881) More... 6 months ago
io: factor wrapInlineTest helper (i210) (#880) More... 6 months ago
ok More... 6 months ago
issues: switch to YMD Crockford base32 date prefix for new issue files (#879) More... 6 months ago
docs: improve JSDoc on key APIs; delete closed issues (#878) More... 6 months ago
Review (#877) More... 6 months ago
Add design issues 208-210: DRY/separation-of-concerns proposals (#876) More... 6 months ago
test(result): cover unwrap error branch (#875) More... 6 months ago
dev: replace ad-hoc entry comparator with string.cmp (i199) (#874) More... 6 months ago
Design issue 207: BNF semantic actions for grammar rules (#873) More... 6 months ago
tf: registerModule, Engine, Bun/Playwright contexts, scenario tests; drop Node 22 (i200–203) (#872) More... 6 months ago
Add design issues 196–199: DRY/separation-of-concerns proposals (#871) More... 6 months ago
btree: extract collapseRoot helper (i179) (#870) More... 6 months ago
test(nullable): add coverage for match function (#868) More... 6 months ago
Update tool versions: Deno to 2.8.1 and TSGO to 7.0.0-dev.20260527.1 (#869) More... 6 months ago
Add Entity type alias and issues 194–195 (#867) More... 6 months ago
Add design issues 184–193: refactoring and abstraction proposals (#866) More... 6 months ago
bit_vec: export msbConcat; drop per-module listToVec(msb) re-binds (i167) (#865) More... 6 months ago
test(sgr): add createConsoleText test to cover replace function (#864) More... 6 months ago
Update Wasmtime to 45.0.0 and regenerate package-lock.json (#863) More... 6 months ago
next: add issue 182 (computational collections in effects); minor cleanups (#862) More... 6 months ago