Pinned Loading

1. learning-agda learning-agda Public

   Sean Seefried learns Agda

   Agda 8 1

2. docker-build-ghc-android docker-build-ghc-android Public

   A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development

   Shell 58 13

3. docker-epidemic-build-env docker-epidemic-build-env Public

   A Dockerfile to build a development environment for Android version of Epidemic.

   Shell 30 3

4. open-epidemic-game open-epidemic-game Public

   A game about exponential growth written in Haskell

   Haskell 31 3

5. docker-game-build-env docker-game-build-env Public

   A Dockerfile to build a game development environment for Haskell on Android

   Shell 4 1

6. billion-second-party billion-second-party Public

   JavaScript 1