Experiments with ReasonML, HTML canvas and images.

Rosary web app written in ReasonML

Unicode Character Database version history with normalized filenames

Experiments with finite types

A repository for testing the GitHub API compare commits when a file only changes permissions.

Experiments with basic arithmetic

Experiment in type theory UI

Hacking on code from the paper "A simple type-theoretic language: Mini-TT" by Coquand et al.

Docker image for Agda

Test the GitHub API via the Haskell `github` library for repositories that have removed submodules.

Example repo for building Agda files with Travis CI

Shakespeare analysis and Twitter bot

Experiment to capture and interleave logs from multiple processes

Textual analysis and Twitter bot https://twitter.com/poorlittlealice

Simple website with auth: Haskell (Yesod), Plotly, PostgreSQL

Modeling Ancient Greek Grammar

Experiments in bijections between binary trees and vectors of length 2^k