Pinned Loading

1. ttfp ttfp Public

   Some implementations for definitions in "Type Theory and Formal Proof"

   Haskell

2. vanduuren.xyz vanduuren.xyz Public

   Source for vanduuren.xyz

   HTML

3. octorunner octorunner Public

   Run tests for (private) github repositories on any Docker engine

   Go

4. jgobs jgobs Public archive

   Gob implementation for Java

   Java 9 2

5. docker-jekyll-arm docker-jekyll-arm Public

   A quick & dirty container serving my jekyll site with automatic updates

   Nginx 1 1

6. bfintrptr bfintrptr Public

   A simple brainfuck interpreter written in C

   C