Drup's thingies

A reasonable TyXML release | Drup's thingies

Fri, 06 Mar 2020 00:00:00 +0000

I have the pleasure to announce the release of TyXML 4.4.0, with special Reason support!

Ann: A new ppx for tyre and new version of ppx_regexp | Drup's thingies

Tue, 21 Aug 2018 00:00:00 +0000

Some times ago, I released Tyre, a library for Typed Regular Expressions that allows matching, printing and routing. While many people expressed interest, the syntax was (rightfully) considered too obtuse for practical usage. Thanks to Petter A. ‘paurkedal’ Urkedal, this should now be fixed!

An OCaml quine | Drup's thingies

Wed, 30 May 2018 00:00:00 +0000

(fun x -> Printf.printf "%s %S" x x) "(fun x -> Printf.printf \"%s %S\" x x)"

Ann: Regenerate | Drup's thingies

Tue, 08 May 2018 00:00:00 +0000

I’m happy to announce the release of Regenerate, a library, tool and website to generate test cases for regular expression engines.

PhD Thesis: Tierless Web programming in ML | Drup's thingies

Wed, 15 Nov 2017 00:00:00 +0000

I’m happy to announce that I successfully defended my PhD Thesis!

News about Tyre | Drup's thingies

Mon, 17 Apr 2017 00:00:00 +0000

Here are some news about Tyre, along with release of version 0.3.

Ann: Pumping | Drup's thingies

Sat, 01 Apr 2017 00:00:00 +0000

I’m happy to announce the release of Pumping, a library to leverage the OCaml type system to recognize regular languages.

Ann: Typed regular expressions | Drup's thingies

Fri, 12 Aug 2016 00:00:00 +0000

I’m happy to announce the release of Tyre, a library for Typed Regular Expressions.

Typing Tricks: Diff lists | Drup's thingies

Tue, 02 Aug 2016 00:00:00 +0000

The diff list trick is a way to compute with lists in types. It allows to create heterogeneous lists which is very useful, in particular in the Format module from the standard library.

First steps in mirage | Drup's thingies

Thu, 09 Apr 2015 00:00:00 +0000

This was long overdue, after a lot of ocsigen-cohttp hacking (duh), I finally started trying mirage!