coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
30b237a8914d72a72f384499579c2cea94ac045b
rose-ash/lib/ocaml/baseline
History
giles 30b237a891
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 23s
Details
ocaml: phase 5.1 mod_inverse.ml baseline (extended Euclidean, inverse sum = 27) 
Extended Euclidean returns a triple (gcd, x, y) such that
a*x + b*y = gcd:

  let rec ext_gcd a b =
    if b = 0 then (a, 1, 0)
    else
      let (g, x1, y1) = ext_gcd b (a mod b) in
      (g, y1, x1 - (a / b) * y1)

  let mod_inverse a m =
    let (_, x, _) = ext_gcd a m in
    ((x mod m) + m) mod m

Three invariants checked:

  inv(3, 11)  = 4      (3*4  = 12  = 1 mod 11)
  inv(5, 26)  = 21     (5*21 = 105 = 1 mod 26)
  inv(7, 13)  = 2      (7*2  = 14  = 1 mod 13)
  sum         = 27

Tests recursive triple-tuple return, tuple-pattern destructuring on
let-binding (with wildcard for unused fields), and nested
let-binding inside the recursive call site.

72 baseline programs total.
2026-05-09 15:11:46 +00:00
..
ackermann.ml
ocaml: phase 5.1 ackermann.ml baseline (ack(3, 4) = 125)
2026-05-09 08:50:12 +00:00
anagram_check.ml
ocaml: phase 5.1 anagram_check.ml baseline (char-frequency array, 2/4 anagrams)
2026-05-09 12:14:32 +00:00
anagrams.ml
ocaml: phase 5.1 anagrams.ml baseline (18/18 pass)
2026-05-08 19:57:09 +00:00
atm.ml
ocaml: phase 5.1 atm.ml baseline (mutable record + exception + try/with, balance = 120)
2026-05-09 12:34:36 +00:00
bag.ml
ocaml: phase 5.1 bag.ml baseline + String.equal/compare/cat/empty (+3 tests, 579 total)
2026-05-09 06:15:03 +00:00
balance.ml
ocaml: phase 5.1 balance.ml baseline (paren/bracket/brace balance via Stack)
2026-05-09 06:59:22 +00:00
base_n.ml
ocaml: phase 5.1 base_n.ml baseline (int to base-N string, length sum = 17)
2026-05-09 12:52:55 +00:00
bf_full.ml
ocaml: phase 5.1 bf_full.ml baseline (full Brainfuck with [] loops, +++[.-] = 6)
2026-05-09 12:24:48 +00:00
bfs.ml
ocaml: phase 5.1 bfs.ml baseline (20/20 pass)
2026-05-08 21:05:32 +00:00
bigint_add.ml
ocaml: phase 5.1 bigint_add.ml baseline (digit-list bignum add, 1+18+9 = 28)
2026-05-09 11:19:23 +00:00
bisect.ml
ocaml: phase 5.1 bisect.ml baseline (root-finding, sqrt(2)*100 = 141)
2026-05-09 13:02:17 +00:00
bits.ml
ocaml: phase 4 bitwise ops land/lor/lxor/lsl/lsr/asr + bits.ml baseline (+5 tests, 607 total)
2026-05-09 09:15:00 +00:00
brainfuck.ml
ocaml: phase 5.1 brainfuck.ml baseline (subset interpreter)
2026-05-09 02:24:45 +00:00
bsearch.ml
ocaml: phase 5.1 bsearch.ml baseline (binary search, position sum = 7)
2026-05-09 10:40:49 +00:00
btree.ml
ocaml: phase 5.1 btree.ml baseline (13/13 pass)
2026-05-08 17:52:49 +00:00
caesar.ml
ocaml: phase 5.1 caesar.ml baseline (ROT13 + s.[i] + Char ops)
2026-05-09 00:13:11 +00:00
calc.ml
ocaml: phase 5.1 calc.ml baseline (11/11 pass) + inline let-rec-and parser fix
2026-05-08 16:53:44 +00:00
closures.ml
ocaml: phase 5.1 baseline 8/8 — quicksort + exceptions + closures
2026-05-08 13:44:28 +00:00
coin_change.ml
ocaml: phase 5.1 coin_change.ml baseline (DP, 67c with [1;5;10;25] = 6 coins)
2026-05-09 10:21:11 +00:00
csv.ml
ocaml: phase 5.1 csv.ml baseline (split + int_of_string + fold_left)
2026-05-09 01:47:27 +00:00
exception_handle.ml
ocaml: phase 5.1 baseline 8/8 — quicksort + exceptions + closures
2026-05-08 13:44:28 +00:00
exception_user.ml
ocaml: phase 5.1 exception_user.ml baseline (user exception with payload, 4+5+7+10 = 26)
2026-05-09 12:04:42 +00:00
expected.json
ocaml: phase 5.1 mod_inverse.ml baseline (extended Euclidean, inverse sum = 27)
2026-05-09 15:11:46 +00:00
expr_eval.ml
ocaml: phase 5.1 expr_eval.ml baseline (9/9 pass)
2026-05-08 15:01:04 +00:00
expr_simp.ml
ocaml: phase 5.1 expr_simp.ml baseline (symbolic simplifier, eval(simp e) = 22)
2026-05-09 11:09:23 +00:00
factorial.ml
ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary
2026-05-08 13:33:24 +00:00
fizzbuzz.ml
ocaml: phase 5.1 fizzbuzz.ml baseline (12/12 pass)
2026-05-08 17:44:07 +00:00
flatten_tree.ml
ocaml: phase 5.1 flatten_tree.ml baseline (parametric ADT flatten, sum 1..7 = 28)
2026-05-09 11:52:19 +00:00
fraction.ml
ocaml: phase 5.1 fraction.ml baseline (rational arithmetic, 4/3 -> num+den=7)
2026-05-09 06:05:31 +00:00
frequency.ml
ocaml: phase 5.1 frequency.ml baseline + Format module alias (+2 tests, 498 total)
2026-05-09 01:11:53 +00:00
gcd_lcm.ml
ocaml: phase 5.1 gcd_lcm.ml baseline (Euclidean gcd + lcm, 12+12+36 = 60)
2026-05-09 11:42:52 +00:00
grep_count.ml
ocaml: phase 5.1 grep_count.ml baseline (substring-aware line filter, 3 matches)
2026-05-09 09:34:40 +00:00
group_consec.ml
ocaml: phase 5.1 group_consec.ml baseline (group consecutive equals, 5*10+3 = 53)
2026-05-09 14:40:22 +00:00
hailstone.ml
ocaml: phase 5.1 hailstone.ml baseline (Collatz length from 27 = 111 steps)
2026-05-09 13:30:46 +00:00
hanoi.ml
ocaml: phase 5.1 hanoi.ml baseline (Tower of Hanoi move count, n=10 -> 1023)
2026-05-09 08:21:19 +00:00
hist.ml
ocaml: phase 5.1 hist.ml baseline (Hashtbl int histogram, total * max = 75)
2026-05-09 15:02:13 +00:00
json_pretty.ml
ocaml: phase 5.1 json_pretty.ml baseline (recursive ADT to string, len = 24)
2026-05-09 07:41:01 +00:00
kadane.ml
ocaml: phase 5.1 kadane.ml baseline (max subarray sum = 6)
2026-05-09 10:07:12 +00:00
lambda_calc.ml
ocaml: phase 5.1 lambda_calc.ml baseline (17/17 pass)
2026-05-08 19:49:08 +00:00
levenshtein.ml
ocaml: phase 5.1 levenshtein.ml baseline (no-memo edit distance, sum=11)
2026-05-09 00:23:58 +00:00
list_ops.ml
ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary
2026-05-08 13:33:24 +00:00
mat_mul.ml
ocaml: phase 5.1 mat_mul.ml baseline (3x3 row-major matrix multiply, sum = 621)
2026-05-09 11:00:00 +00:00
memo_fib.ml
ocaml: phase 5.1 memo_fib.ml baseline (16/16 pass)
2026-05-08 19:10:49 +00:00
merge_sort.ml
ocaml: phase 5.1 merge_sort.ml baseline (user mergesort, sum=44)
2026-05-09 05:00:50 +00:00
mod_inverse.ml
ocaml: phase 5.1 mod_inverse.ml baseline (extended Euclidean, inverse sum = 27)
2026-05-09 15:11:46 +00:00
module_use.ml
ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary
2026-05-08 13:33:24 +00:00
mortgage.ml
ocaml: phase 5.1 mortgage.ml baseline (monthly payment, 200k @ 5% / 30y = $1073)
2026-05-09 14:52:13 +00:00
mutable_record.ml
ocaml: phase 5.1 mutable_record.ml baseline (14/14 pass)
2026-05-08 18:43:19 +00:00
newton_sqrt.ml
ocaml: phase 5.1 newton_sqrt.ml baseline (Newton's method, sqrt(2)*1000 = 1414)
2026-05-09 08:29:01 +00:00
option_match.ml
ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary
2026-05-08 13:33:24 +00:00
palindrome.ml
ocaml: phase 5.1 palindrome.ml baseline (two-pointer check, 4/6 inputs match)
2026-05-09 10:31:22 +00:00
pascal.ml
ocaml: phase 5.1 pascal.ml baseline (Pascal triangle row 10 middle = C(10,5) = 252)
2026-05-09 09:57:18 +00:00
pi_leibniz.ml
ocaml: phase 5.1 pi_leibniz.ml baseline + int_of_float fix (1000 terms x 100 = 314)
2026-05-09 07:19:52 +00:00
poly_stack.ml
ocaml: phase 1+5.1 type aliases + poly_stack baseline (+3 tests, 469 / 19 baseline)
2026-05-08 20:49:26 +00:00
prefix_sum.ml
ocaml: phase 5.1 prefix_sum.ml baseline (precomputed sums + range queries, 14+25+27 = 66)
2026-05-09 14:21:24 +00:00
pretty_table.ml
ocaml: phase 5.1 pretty_table.ml baseline (Buffer + Printf widths, len = 64)
2026-05-09 09:24:41 +00:00
prime_factors.ml
ocaml: phase 5.1 prime_factors.ml baseline (trial-division, 360 factor sum = 17)
2026-05-09 12:44:02 +00:00
queens.ml
ocaml: phase 5.1 queens.ml baseline (15/15 pass)
2026-05-08 19:04:04 +00:00
quicksort.ml
ocaml: phase 5.1 baseline 8/8 — quicksort + exceptions + closures
2026-05-08 13:44:28 +00:00
roman.ml
ocaml: phase 5.1 roman.ml baseline + top-level 'let () = expr'
2026-05-08 23:40:36 +00:00
rpn.ml
ocaml: phase 5.1 rpn.ml baseline (Reverse Polish Notation evaluator, [3 4 + 2 * 5 -] = 9)
2026-05-09 08:39:56 +00:00
run_length.ml
ocaml: phase 5.1 run_length.ml baseline (RLE, sum-of-counts = 11)
2026-05-09 09:47:25 +00:00
run.sh
ocaml: phase 5.1 caesar.ml baseline (ROT13 + s.[i] + Char ops)
2026-05-09 00:13:11 +00:00
safe_div.ml
ocaml: phase 5.1 safe_div.ml baseline + Result.equal/compare/iter_error (+3 tests, 592 total)
2026-05-09 06:47:47 +00:00
shuffle.ml
ocaml: phase 5.1 shuffle.ml baseline (Fisher-Yates with deterministic Random)
2026-05-09 07:31:33 +00:00
sieve.ml
ocaml: phase 5.1 sieve.ml baseline (Sieve of Eratosthenes)
2026-05-09 02:16:18 +00:00
subset_sum.ml
ocaml: phase 5.1 subset_sum.ml baseline (count subsets of [1..8] summing to 10 = 8)
2026-05-09 13:46:40 +00:00
sum_squares.ml
ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary
2026-05-08 13:33:24 +00:00
tic_tac_toe.ml
ocaml: phase 5.1 tic_tac_toe.ml baseline (3x3 winner check, X wins top row = 1)
2026-05-09 14:00:49 +00:00
twosum.ml
ocaml: phase 5.1 twosum.ml baseline (LeetCode #1 one-pass hashmap, index sum = 5)
2026-05-09 13:15:05 +00:00
unique_set.ml
ocaml: phase 5.1 unique_set.ml baseline (Set.Make + IntOrd, count = 9)
2026-05-09 05:44:35 +00:00
validate.ml
ocaml: phase 5.1 validate.ml baseline (Either-based validation, 3 errs * 100 + 117 = 417)
2026-05-09 08:11:07 +00:00
word_count.ml
ocaml: phase 5.1 word_count.ml baseline (10/10 pass)
2026-05-08 16:11:03 +00:00
word_freq.ml
ocaml: phase 5.1 word_freq.ml baseline (Map.Make on String, distinct = 8)
2026-05-09 08:01:21 +00:00
zigzag.ml
ocaml: phase 5.1 zigzag.ml baseline (interleave two lists, sum 1..10 = 55)
2026-05-09 14:30:55 +00:00
zip_unzip.ml
ocaml: phase 5.1 zip_unzip.ml baseline (zip/unzip round-trip, sum-product = 1000)
2026-05-09 11:33:30 +00:00