Automated property based testing for Rust (with shrinking).

A web browser that adheres to the unix philosophy.

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

A metadata test suite for OS X backup tools

Free, Libre and Open Source podcatcher - for Android

efficient and practical cryptohashing in haskell. DEPRECATED in favor of cryptonite

Haskell generic interface (type classes) for cryptographic algorithms

C19 is an Open Source COVID-19 self registration tool build by volunteering people in tech.

Concurrent pipelines for Go

Visualization of sorting algorithms, done in Python.

RndPhrase: Auto-generated secure passwords.

Library for Standard ML

Tredjepartsimplementering af GRO-filformatet

My Emacs Configuration.

Advanced programming course hacking on ICFP 2006

Ad-blocking HTTP-proxy

My personal scripts for handling automated tarsnap backups

Constraint Continuous Optimization

Presentation slides

Advanced programming course hacking on ICFP 2006

Fork of http://bitbucket.org/bos/bloomfilter

A fork of isync from http://isync.sourceforge.net/

Search through cabal packages

efficient and practical cryptohashing in haskell