Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
A simple wrapper around OCurl.
various little experiments
Minimal HTTP server using good old threads + blocking IO, with a small request router.
Commodity thread pools and concurrency primitives for OCaml 5
print nested boxes, lists, arrays, tables in several formats