Frist post

Debugging with DOT

Tail-recursive map in OCaml

The inside of a curve

And this...

Go, C++!!

QuickCheck for OCaml

Universal Serialization and Deserialization

Representing Lazy Values

Batch Operations on Collections

Introduction to Automated Theorem Proving with Logtk

Simple Refinement Types for OCaml

OCaml Compiler Hacking: how to add a primitive

Tooling is Awesome

Maki: on-disk memoization for (deterministic) fun and profit

Format All the Data Structures