stebulus

egg-linux

A reproducible and self-reproducing Linux distribution; see wiki for status

a-few-logics

"A few species of logic" (slides for presentation)

copy-file-into-git

A simple working example of using gitlib.

graph

A small Clojure library for depth-first search and related algorithms.

logserver

An HTTP server that copies all POSTed data to a file.

notes-app

pentagon-slides

Some families of tilings by pentagons.

purescript-without-node

Nix setup for using Purescript without Nodejs

aalto-xml

Ultra-high performance non-blocking XML processor (Stax API + extensions)

docker-thttpd

egg-linux-build-reports

enkidu

Software for producing geometric diagrams in LaTeX documents.

fdfd

gcc

gmwanalysis

Machine-learning approach to model generation for gmwbot.

gmwbot

A bot to play Guess My Word!

hello-svc

humbaba

kcapw

K∩W: Intersections

nixpkgs

Nix Packages collection

parabola-links

pentagon-toy

petersen-graph

An attempt at a visualization of the Petersen graph.

purescript-dom

Type definitions and standard effect for interacting with the DOM

statement-on-lambdaconf.github.io

tmp

ualberta-math-stat-templates

Thesis, poster, and other templates for math and stats.

vitt

xscreensaver

A repository with all the versions of xscreensaver that mmehnert could find. A complete history down to version 1.21. If you happen to have something earlier than 1.21, please let me know :-) Many thanks go to Jamie Zawinski who provided versions mmehnert could no longer find.

youdo

Task management for other people