-
2129e04bfd
ocaml: phase 5.1 count_change.ml baseline (ways to make 50c from [1;2;5;10;25] = 406)
giles
2026-05-09 16:28:15 +00:00
-
89726ed6c2
ocaml: phase 5.1 paren_depth.ml baseline (max nesting depth, 3+3+1 = 7)
giles
2026-05-09 16:13:05 +00:00
-
5d71be364e
ocaml: phase 5.1 pancake_sort.ml baseline (in-place pancake sort, 9 flips -> 910)
giles
2026-05-09 16:03:22 +00:00
-
ce013fa138
ocaml: phase 5.1 fib_mod.ml baseline (Fibonacci mod prime, fib(100) mod 1000003 = 391360)
giles
2026-05-09 15:53:47 +00:00
-
d1482482ff
js-on-sx: new function(){}(args) parses; new with spread args works
giles
2026-05-09 15:50:28 +00:00
-
07de86365e
ocaml: phase 5.1 luhn.ml baseline (Luhn check-digit, 2/4 inputs valid)
giles
2026-05-09 15:42:01 +00:00
-
5b38f4d499
ocaml: phase 5.1 triangle.ml baseline (Pascal-shape min path sum, 2+3+5+1 = 11)
giles
2026-05-09 15:32:11 +00:00
-
a3a93c20b8
ocaml: phase 5.1 max_path_tree.ml baseline (max root-to-leaf sum, 1+3+7 = 11)
giles
2026-05-09 15:22:28 +00:00
-
72be94c900
js-on-sx: parser accepts new <literal>; runtime throws TypeError
giles
2026-05-09 15:18:42 +00:00
-
30b237a891
ocaml: phase 5.1 mod_inverse.ml baseline (extended Euclidean, inverse sum = 27)
giles
2026-05-09 15:11:46 +00:00
-
667dfcfd7c
ocaml: phase 5.1 hist.ml baseline (Hashtbl int histogram, total * max = 75)
giles
2026-05-09 15:02:13 +00:00
-
7f8bf5f455
ocaml: phase 5.1 mortgage.ml baseline (monthly payment, 200k @ 5% / 30y = $1073)
giles
2026-05-09 14:52:13 +00:00
-
7fc37abe02
js-on-sx: bind returns dict-with-__callable__ for property mutation + length
giles
2026-05-09 14:47:54 +00:00
-
a98d683e60
ocaml: phase 5.1 group_consec.ml baseline (group consecutive equals, 5*10+3 = 53)
giles
2026-05-09 14:40:22 +00:00
-
a2f3c533b8
ocaml: phase 5.1 zigzag.ml baseline (interleave two lists, sum 1..10 = 55)
giles
2026-05-09 14:30:55 +00:00
-
0f2eb45f5c
ocaml: phase 5.1 prefix_sum.ml baseline (precomputed sums + range queries, 14+25+27 = 66)
giles
2026-05-09 14:21:24 +00:00
-
96f5809a29
GUEST-plan: deferred work shipped — pieces A B C D
loops/minikanren
giles
2026-05-09 14:20:28 +00:00
-
802544fdc6
js-on-sx: call/apply box primitive thisArg per non-strict ToObject
giles
2026-05-09 14:13:57 +00:00
-
28bd8bb98c
mk: phase 7 piece A — fixed-point iteration in SLG tabling
giles
2026-05-09 14:12:36 +00:00
-
1d7400a54a
mk: phase 7 piece A — SLG-style tabling with in-progress sentinel
giles
2026-05-09 14:10:43 +00:00
-
0cb0c1b782
mk: phase 5 polish — =/= disequality with constraint store
giles
2026-05-09 14:08:44 +00:00
-
2921aa30b4
mk: phase 6 piece D — send-more-money + Sudoku 4x4
giles
2026-05-09 14:06:47 +00:00
-
1c40fec8fa
ocaml: phase 5.1 tic_tac_toe.ml baseline (3x3 winner check, X wins top row = 1)
giles
2026-05-09 14:00:49 +00:00
-
b94a47a9a9
ocaml: phase 5.1 subset_sum.ml baseline (count subsets of [1..8] summing to 10 = 8)
giles
2026-05-09 13:46:40 +00:00
-
699b30ed1b
js-on-sx: Function.prototype.bind throws TypeError on non-callable target
giles
2026-05-09 13:41:25 +00:00
-
7de014cd75
ocaml: phase 5.1 hailstone.ml baseline (Collatz length from 27 = 111 steps)
giles
2026-05-09 13:30:46 +00:00
-
d1817e026d
mk: phase 6 piece B — bounds-consistency for fd-plus + fd-times
giles
2026-05-09 13:18:29 +00:00
-
0eef5bc8e6
ocaml: phase 5.1 twosum.ml baseline (LeetCode #1 one-pass hashmap, index sum = 5)
giles
2026-05-09 13:15:05 +00:00
-
d437727f1d
datalog: magic regression tests from bug-hunt round (242/242)
giles
2026-05-09 13:11:47 +00:00
-
16e21ef6fa
js-on-sx: Function.prototype.{call,apply,bind,toString} expose spec length/name
giles
2026-05-09 13:09:11 +00:00
-
ef0a24f0db
plans: minikanren-deferred — four pieces of follow-up work
giles
2026-05-09 13:03:05 +00:00
-
-
-
50981a2a9b
ocaml: phase 5.1 bisect.ml baseline (root-finding, sqrt(2)*100 = 141)
giles
2026-05-09 13:02:17 +00:00
-
05487b497d
ocaml: phase 5.1 base_n.ml baseline (int to base-N string, length sum = 17)
giles
2026-05-09 12:52:55 +00:00
-
af38d98583
ocaml: phase 5.1 prime_factors.ml baseline (trial-division, 360 factor sum = 17)
giles
2026-05-09 12:44:02 +00:00
-
cd014cdb29
js-on-sx: Function.prototype call/apply/bind/toString delegate to real impl
giles
2026-05-09 12:36:48 +00:00
-
f5122a9a5d
ocaml: phase 5.1 atm.ml baseline (mutable record + exception + try/with, balance = 120)
giles
2026-05-09 12:34:36 +00:00
-
097c7f4590
ocaml: phase 5.1 bf_full.ml baseline (full Brainfuck with [] loops, +++[.-] = 6)
giles
2026-05-09 12:24:48 +00:00
-
5c587c0f61
ocaml: phase 5.1 anagram_check.ml baseline (char-frequency array, 2/4 anagrams)
giles
2026-05-09 12:14:32 +00:00
-
adc4cb89c6
js-on-sx: fn proto chain walks through functions; fn.prototype = X persists
giles
2026-05-09 12:07:34 +00:00
-
acc8b01ddb
ocaml: phase 5.1 exception_user.ml baseline (user exception with payload, 4+5+7+10 = 26)
giles
2026-05-09 12:04:42 +00:00
-
027678f31e
ocaml: phase 5.1 flatten_tree.ml baseline (parametric ADT flatten, sum 1..7 = 28)
giles
2026-05-09 11:52:19 +00:00
-
cca3a28206
ocaml: phase 5.1 gcd_lcm.ml baseline (Euclidean gcd + lcm, 12+12+36 = 60)
giles
2026-05-09 11:42:52 +00:00
-
b8dfc080dd
ocaml: phase 5.1 zip_unzip.ml baseline (zip/unzip round-trip, sum-product = 1000)
giles
2026-05-09 11:33:30 +00:00
-
4481f5f98b
js-on-sx: call/apply substitute global for null/undefined this (non-strict)
giles
2026-05-09 11:33:23 +00:00
-
ac19b7aced
ocaml: phase 5.1 bigint_add.ml baseline (digit-list bignum add, 1+18+9 = 28)
giles
2026-05-09 11:19:23 +00:00
-
aa0a7fa1a2
ocaml: phase 5.1 expr_simp.ml baseline (symbolic simplifier, eval(simp e) = 22)
giles
2026-05-09 11:09:23 +00:00
-
bafa2410e4
ocaml: phase 5.1 mat_mul.ml baseline (3x3 row-major matrix multiply, sum = 621)
giles
2026-05-09 11:00:00 +00:00
-
b59f08a1b8
js-on-sx: expose more built-ins on js-global (Function, Errors, Promise, etc.)
giles
2026-05-09 10:58:38 +00:00
-
a91ff62730
ocaml: phase 5.1 bsearch.ml baseline (binary search, position sum = 7)
giles
2026-05-09 10:40:49 +00:00
-
073ea44fdb
ocaml: phase 5.1 palindrome.ml baseline (two-pointer check, 4/6 inputs match)
giles
2026-05-09 10:31:22 +00:00
-
aee7226b9c
ocaml: phase 5.1 coin_change.ml baseline (DP, 67c with [1;5;10;25] = 6 coins)
giles
2026-05-09 10:21:11 +00:00
-
3e8aae77d5
js-on-sx: expression statements support comma operator
giles
2026-05-09 10:19:24 +00:00
-
b3d5da5361
ocaml: phase 5.1 kadane.ml baseline (max subarray sum = 6)
giles
2026-05-09 10:07:12 +00:00
-
da6d8e39c9
ocaml: phase 5.1 pascal.ml baseline (Pascal triangle row 10 middle = C(10,5) = 252)
giles
2026-05-09 09:57:18 +00:00
-
32aba1823d
ocaml: phase 5.1 run_length.ml baseline (RLE, sum-of-counts = 11)
giles
2026-05-09 09:47:25 +00:00
-
d145532afe
js-on-sx: instanceof accepts function operands (fn instanceof Function/Object)
giles
2026-05-09 09:44:48 +00:00
-
3be2dc6e78
ocaml: phase 5.1 grep_count.ml baseline (substring-aware line filter, 3 matches)
giles
2026-05-09 09:34:40 +00:00
-
b0cbdaf713
ocaml: phase 5.1 pretty_table.ml baseline (Buffer + Printf widths, len = 64)
giles
2026-05-09 09:24:41 +00:00
-
aaaf054441
ocaml: phase 4 bitwise ops land/lor/lxor/lsl/lsr/asr + bits.ml baseline (+5 tests, 607 total)
giles
2026-05-09 09:15:00 +00:00
-
86f7a351fb
js-on-sx: relational ops ToPrimitive operands + NaN-safe le/ge
giles
2026-05-09 09:13:06 +00:00
-
70b9b4f6cf
ocaml: phase 5.1 ackermann.ml baseline (ack(3, 4) = 125)
giles
2026-05-09 08:50:12 +00:00
-
095bb62ef9
ocaml: phase 5.1 rpn.ml baseline (Reverse Polish Notation evaluator, [3 4 + 2 * 5 -] = 9)
giles
2026-05-09 08:39:56 +00:00
-
e4c92a19d4
js-on-sx: Error/TypeError/etc return instance when called without new
giles
2026-05-09 08:35:11 +00:00
-
13fb1bd7a9
ocaml: phase 5.1 newton_sqrt.ml baseline (Newton's method, sqrt(2)*1000 = 1414)
giles
2026-05-09 08:29:01 +00:00
-
39f4c7a9a8
ocaml: phase 5.1 hanoi.ml baseline (Tower of Hanoi move count, n=10 -> 1023)
giles
2026-05-09 08:21:19 +00:00
-
1a828d5b9f
ocaml: phase 5.1 validate.ml baseline (Either-based validation, 3 errs * 100 + 117 = 417)
giles
2026-05-09 08:11:07 +00:00
-
21d0be58ec
js-on-sx: typeof <ident> returns "undefined" for unresolvable references
giles
2026-05-09 08:04:21 +00:00
-
5c70747ac7
ocaml: phase 5.1 word_freq.ml baseline (Map.Make on String, distinct = 8)
giles
2026-05-09 08:01:21 +00:00
-
c272b1ea04
ocaml: phase 6 Either module + Hashtbl.copy (+4 tests, 602 total)
giles
2026-05-09 07:50:24 +00:00
-
9a8bbff5b2
ocaml: phase 5.1 json_pretty.ml baseline (recursive ADT to string, len = 24)
giles
2026-05-09 07:41:01 +00:00
-
5632830118
js-on-sx: js-loose-eq honours NaN inequality across numeric/string paths
giles
2026-05-09 07:33:03 +00:00
-
75a1adbbd5
ocaml: phase 5.1 shuffle.ml baseline (Fisher-Yates with deterministic Random)
giles
2026-05-09 07:31:33 +00:00
-
90418c120b
ocaml: phase 5.1 pi_leibniz.ml baseline + int_of_float fix (1000 terms x 100 = 314)
giles
2026-05-09 07:19:52 +00:00
-
e42ff3b1f6
ocaml: phase 6 Float module fleshed out (+6 tests, 598 total)
giles
2026-05-09 07:09:29 +00:00
-
dcde14a471
js-on-sx: lexer treats } as ending regex context
giles
2026-05-09 07:01:11 +00:00
-
97a8c06690
ocaml: phase 5.1 balance.ml baseline (paren/bracket/brace balance via Stack)
giles
2026-05-09 06:59:22 +00:00
-
0c3b5d21fa
ocaml: phase 5.1 safe_div.ml baseline + Result.equal/compare/iter_error (+3 tests, 592 total)
giles
2026-05-09 06:47:47 +00:00
-
98ba772acd
ocaml: phase 6 List.equal / List.compare (+5 tests, 589 total)
giles
2026-05-09 06:35:42 +00:00
-
cb272317bc
js-on-sx: js-to-number returns NaN for functions, coerces lists
giles
2026-05-09 06:29:06 +00:00
-
4d32c80a99
ocaml: phase 6 Bool module + Option.equal/Option.compare (+5 tests, 584 total)
giles
2026-05-09 06:26:33 +00:00
-
ddd1e40d00
ocaml: phase 5.1 bag.ml baseline + String.equal/compare/cat/empty (+3 tests, 579 total)
giles
2026-05-09 06:15:03 +00:00
-
7ca5bfbb70
ocaml: phase 5.1 fraction.ml baseline (rational arithmetic, 4/3 -> num+den=7)
giles
2026-05-09 06:05:31 +00:00
-
2d519461c4
ocaml: phase 6 Seq module (eager, list-backed) (+4 tests, 576 total)
giles
2026-05-09 05:56:10 +00:00
-
013ce15357
js-on-sx: js-add ToPrimitive's Date and plain Objects via valueOf/toString
giles
2026-05-09 05:56:01 +00:00
-
24416f8cef
ocaml: phase 5.1 unique_set.ml baseline (Set.Make + IntOrd, count = 9)
giles
2026-05-09 05:44:35 +00:00
-
ec12b721e8
ocaml: phase 4 Set.Make / Map.Make functor application smoke tests (+3 tests, 572 total)
giles
2026-05-09 05:35:19 +00:00
-
76d6528c51
js-on-sx: js-add unwraps wrapper objects before string-concat decision
giles
2026-05-09 05:25:06 +00:00
-
5d33f8f20b
ocaml: phase 6 Filename module + Char.compare/equal/escaped (+7 tests, 569 total)
giles
2026-05-09 05:24:37 +00:00
-
7773c40337
ocaml: phase 4 basic labeled / optional argument syntax (label dropped) (+3 tests, 562 total)
giles
2026-05-09 05:12:34 +00:00
-
7c40506571
ocaml: phase 5.1 merge_sort.ml baseline (user mergesort, sum=44)
giles
2026-05-09 05:00:50 +00:00
-
41dbac55b8
js-on-sx: rational handling in typeof/to-string/strict-eq/loose-eq
giles
2026-05-09 04:53:11 +00:00
-
82ffc695a5
ocaml: phase 4 top-level 'let f (a, b) = body' tuple-param decl (+3 tests, 559 total)
giles
2026-05-09 04:51:11 +00:00
-
b526d81a4c
ocaml: phase 4 'let f (a, b) = body' tuple-param on inner-let (+3 tests, 556 total)
giles
2026-05-09 04:36:33 +00:00
-
64f4f10c32
ocaml: phase 4 'fun (a, b) -> body' tuple-param destructuring (+4 tests, 553 total)
giles
2026-05-09 04:25:18 +00:00
-
9bf4bd6180
js-on-sx: js-to-number coerces SX rationals via exact->inexact
giles
2026-05-09 04:19:51 +00:00
-
8ca3ef342d
ocaml: phase 6 Random module (deterministic LCG) (+4 tests, 549 total)
giles
2026-05-09 04:12:16 +00:00
-
41190c6d23
ocaml: phase 6 Hashtbl.keys/values/bindings/remove/clear (+4 tests, 545 total)
giles
2026-05-09 03:59:20 +00:00
-
141795449a
js-on-sx: parseFloat/parseInt return NaN for digitless prefix
giles
2026-05-09 03:42:47 +00:00
-
dab8718289
ocaml: phase 4 'let PATTERN = expr in body' tuple destructuring (+3 tests, 541 total)
giles
2026-05-09 03:40:38 +00:00
-
7e64695a74
ocaml: phase 6 Printf width specifiers %5d/%-5d/%05d/%4s (+5 tests, 538 total)
giles
2026-05-09 03:25:50 +00:00