Martin Mauch

A Docker base image containing Scala and the Mill build tool

Blodwen is a dependently typed programming language and a potential successor to the Idris language

A docker build of the unison platform (http://unisonweb.org/)

Android x86 emulator

Alpine-based image containing Android SDK

Delete Me

SBT + Scala + JDK base image optimized for size

Docker image based on Alpine Linux that has the nix package manager preinstalled