Displaying 1 to 12 of 12 repositories
A Docker base image containing Scala and the Mill build tool
6m
50K+
Blodwen is a dependently typed programming language and a potential successor to the Idris language
8y
299
A docker build of the unison platform (http://unisonweb.org/)
10y
319
Docker image based on Alpine Linux that has the nix package manager preinstalled
11y
449