Collections
Multi-part posts that build on each other, grouped so they can be read as one thing, in order.
Implementing SAT in OCaml
A from-scratch SAT solver in OCaml: CNF and unit propagation, a full recursive DPLL, pure literal elimination, and a DIMACS-driven CLI.
Building a CAS in OCaml
A computer algebra system built up in OCaml: arbitrary-precision arithmetic, an expression tree, polynomial arithmetic and GCDs, factorization and rational functions, then calculus.