3,485 reputation
2 8

Michael Grünewald

I am a professional mathematician and programmer working as DevOps at Quintly. I love to write free software on my free time or to post on my blog. I am also the maintainer of several FreeBSD ports.

Sample free software I write

dockertk — additional tools for docker, and prominently a flexible garbage collector for docker images.

Rashell — a resilient, replicant, shell programming library for OCaml. This library provides primitives to start external processes and gather their output. It differs from many similar facilities in the way it easily manage errors, using monads for operations.

bsdowl — A collection of BSD Make directives aiming at being a universal build system, that can already be used to create workflows including the preparation of TeX documents with METAPOST figures, the development of OCaml, C, C++, Shell software, static websites, and more.

Lemonade — A monad library for OCaml, including a PPX rewriter. A sibling project provides monadic stream interface to sqlite.

gasoline — An applicative framework for OCaml.

blueprint — A METAPOST library for blueprints, useful to project maangers and system designers.

cadet — An alternative TeX format, typesetting my documents since 2000.

TCSH Files — Site configuration files for TCSH.

Follow my G+ account, my GitHub account and my blog.

Top Tags (1)

Score 16
Posts 4
Posts % 100

Top Posts (4) All Questions Answers | Votes Newest

Badges (10)

Silver 2


Bronze 8