Simon Cruanes c-cube

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

Sponsoring

c-cube/README.md

Hi, I'm Simon. I live in Washington DC, and I'm a long time OCaml programmer, also interested in Odin and Rust. Besides automatic theorem proving, my academic specialty up to my PhD, postdoc, and industry job at https://imandra.ai, I've also worked on observability/tracing, HTTP server implementations, distributed systems, RPC systems, and type checkers. I have been contributing open source libraries to the OCaml ecosystem since 2012. I enjoy strongly, statically typed programming languages; binary serialization formats¹; well designed network protocols; content-addressing²; RFCs. I've been using git daily since 2010; archlinux since 2012; and (n)vim since 2008. My beard is literally greying 🧙🏻.

Most of my information can be found at the following places:

I likehttps://cbor.io/ and the general design of thrift; I also mademy own format.↩
not blockchain though, I'm not into rugpulls.↩

ocaml-containersocaml-containersPublic
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
OCaml 495 89
qcheckqcheckPublic
QuickCheck inspired property-based testing for OCaml.
OCaml 368 41
moonpoolmoonpoolPublic
Commodity thread pools and concurrency primitives for OCaml 5
OCaml 56 4
sneeuwballen/zipperpositionsneeuwballen/zipperpositionPublic
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
OCaml 139 17
iteriterPublic
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
OCaml 123 12
tiny_httpdtiny_httpdPublic
Minimal HTTP server using good old threads + blocking IO, with a small request router.
OCaml 79 12