Andrew Miller's repositories
proofsweeper
Play Minesweeper by formally proving your moves in Idris
http4idris
An experimental HTTP framework for Idris
enable-unsigned-firefox-addons
Enable Unsigned Firefox Addons
network-interfacerequest
Haskell bindings for the ifreq structure used to query network status using ioctl
bubblewrap
Bubblewrap is a Command Line Interface (CLI) that helps developers to create a Project for an Android application that launches an existing Progressive Web App (PWAs) using a Trusted Web Activity.
conduit-resumablesink
Support for conduits where use of a sink can be resumed after the source finished
dependently-typed-revolution-lambdajam
Notes and videos for Lambda Jam 2019 workshop: The Dependently Typed Revolution
double-conversion
A fast Haskell library for converting between double precision floating point numbers and text strings. It is implemented as a binding to the V8-derived C++ double-conversion library.
freer-effects
An implementation of "Freer Monads, More Extensible Effects".
generalsio-ai
An AI client for a multiplayer game
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
node-orm2
Object Relational Mapping
polysemy-Extra
effects for polysemy which are too big or specific to fit in the zoo.
polysemy-zoo
:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy
r_auckland_layout
Stylesheet and other assets for r/auckland
redditdespammer
Moderator bot to remove spam from reddit
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
sbt-mixversion-test
A small example of how to write an sbt code generator using a different Scala version to what sbt is using
usbrelease
A simple command line tool for Linux to release USB devices from their kernel driver
verdi
A framework for formally verifying distributed systems implementations in Coq
web-ext
A command line tool to help build, run, and test web extensions