boyvanduuren

jgobs

Gob implementation for Java

docker-jekyll-arm

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

elm-bijtelling

Calculate the Dutch added tax value when leasing a car

game-of-clojure

Game of life in clojure

namecheapdd

A tool to update domains registered with namecheap

ansible-examples

A few starter examples of ansible playbooks, to show features and how they work together. See http://galaxy.ansible.com for example roles from the Ansible community for deploying many popular applications.

bfintrptr

A simple brainfuck interpreter written in C

octorunner

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

ttfp

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

vanduuren.xyz

Source for vanduuren.xyz

bat

A cat(1) clone with wings.

battery

Small tool that reads battery status from /sys/ and calculates an average

boyvanduuren.github.io

bustub

The BusTub Relational Database Management System (Educational)

coursera

docker

Docker - the open-source application container engine

docs

Documentation for CoreOS in markdown

neo4j

Graphs for Everyone

nushell

A new type of shell

ogm_issues

okta-aws-cli-assume-role

Okta AWS CLI Assume Role Tool

playground-recycleview

PoeLurker

Ease your trading experience in Path of Exile.

ql

Package ql is a pure Go embedded SQL database.

reproducer

rundeck-kubernetes-step-plugin

A rundeck plugin which allow to create(/run/delete) kubernetes jobs from rundeck jobs

terraform

Terraform is a tool for building, changing, and combining infrastructure safely and efficiently.

typeDD-idris

Type Driven Development in Idris -- exercises

vert-x.github.io

The new (post 2.0) website

vertx_chat