228 reputation
2 7

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 answers

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.

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.

Top Tags (6)

Score 0
Posts 2
Posts % 67
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (3) All Questions Answers | Votes Newest

Badges (9)

Gold
Silver 2

Rarest

Bronze 7

Rarest