10 open source projects by mietek

Mirror of Software Foundations in PDF

System for installing Haskell apps

Buildpack for deploying Haskell apps

Charity language interpreters and literature

Library of GNU bash functions

Mirror of Epigram 2, by Conor McBride, et al.

IPython Notebook packaged for Heroku

ET (IPL) language interpreters and literature

Agda formalisation of NbE for λ□

Totally functional programming literature