Here lie the repositories of code I have written or changed.
Project Description Owner Last Change
cl-unification repo for cl-unification 13 Mar 2012 15:30
claki Cliki spam-reversion bot 03 Jul 2011 08:27
darcsweb A web interface for darcs pinterface <pix@kepibu.org> 13 Nov 2011 11:23
httpauth Proof-of-concept for Site-Controlled HTTP Authentication UI 07 Apr 2011 05:52
Oh, Ducks! Unification Over HTML Documents Using CSS Selectors pix@kepibu.org 03 Jul 2011 08:26
portaCL repo for portaCL 08 Mar 2012 05:17