c-cube

Simon Cruanes

c-cube

Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai)
washington DC
Joined December 2011

ezcurl

A simple wrapper around OCurl.

OCamlUpdated 6/22/2025

playground

various little experiments

RustUpdated 6/21/2025

tiny_httpd

Minimal HTTP server using good old threads + blocking IO, with a small request router.

OCamlUpdated 6/20/2025

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

OCamlUpdated 6/20/2025

printbox

print nested boxes, lists, arrays, tables in several formats

OCamlUpdated 6/19/2025