Drup's thingies

A reasonable TyXML release

  • #OCaml
  • #Reason
  • #tyxml
  • #announcement
  • 2020-03-06
  • Drup

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

  • #OCaml
  • #regex
  • #tyre
  • #announcement
  • 2018-08-21
  • Drup

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

  • #OCaml
  • #Quine
  • 2018-05-30
  • Drup
(fun x -> Printf.printf "%s %S" x x) "(fun x -> Printf.printf \"%s %S\" x x)"

Ann: Regenerate

  • #OCaml
  • #Regex
  • #announcement
  • 2018-05-08
  • Drup

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

  • #OCaml
  • #Eliom
  • #Ocsigen
  • #PhD
  • #announcement
  • 2017-11-15
  • Drup

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


News about Tyre

  • #OCaml
  • #gadt
  • #regex
  • #tyre
  • #announcement
  • 2017-04-17
  • Drup

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


Ann: Pumping

  • #OCaml
  • #regex
  • #types
  • #announcement
  • #regular-fishing
  • 2017-04-01
  • Drup

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

  • #OCaml
  • #gadt
  • #regex
  • #tyre
  • #announcement
  • 2016-08-12
  • Drup

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


Typing Tricks: Diff lists

  • #OCaml
  • #gadt
  • #typing-tricks
  • #existential-overflow-crisis
  • 2016-08-02
  • Drup

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

  • #OCaml
  • #Mirage
  • #braindump
  • #functor-stack-oriented-development
  • 2015-04-09
  • Drup

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

  • About
  • Tags
  • Archives

Recent posts

  • A reasonable TyXML release
  • Ann: A new ppx for tyre and new version of ppx_regexp
  • An OCaml quine
  • Ann: Regenerate
  • PhD Thesis: Tierless Web programming in ML
  • News about Tyre
  • Ann: Pumping
  • Ann: Typed regular expressions
  • Typing Tricks: Diff lists
  • First steps in mirage
Powered by Jekyll with TchTheme