Tags » Ocaml

2024

• 20 Feb

  On Moonpool

2022

• 14 Nov

  Sidekick project overview

2020

• 6 Jun

  Benchpress hacking: log 1

2019

• 26 Feb

  Solving Sudokus with msat

2016

• 20 Mar

  Format All the Data Structures
• 5 Feb

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

2015

• 6 Aug

  OCaml Compiler Hacking: how to add a primitive
• 10 Mar

  Simple Refinement Types for OCaml

2014

• 24 Jul

  Introduction to Automated Theorem Proving with Logtk
• 11 Jun

  Batch Operations on Collections
• 2 May

  Representing Lazy Values
• 12 Mar

  Universal Serialization and Deserialization

2013

• 5 Oct

  QuickCheck for OCaml

2012

• 3 Dec

  Tail-recursive map in OCaml