Concurrent pipelines for Go

Automated property based testing for Rust (with shrinking).

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

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

My Emacs Configuration.

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

A web browser that adheres to the unix philosophy.

Free, Libre and Open Source podcatcher - for Android

A metadata test suite for OS X backup tools

Visualization of sorting algorithms, done in Python.

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

Haskell generic interface (type classes) for cryptographic algorithms

RndPhrase: Auto-generated secure passwords.

Personal website

Library for Standard ML

A script for easing the planning of rehearsing sketches and songs

Python code to auto generate lists and other stuff for use in RKG.

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

Search through cabal packages

efficient and practical cryptohashing in haskell

Haskell generic interface (type classes) for cryptographic algorithms

A metadata test suite for OS X backup tools

A script for easing the planning of rehearsing sketches and songs

Visualization of sorting algorithms, done in Python.