boyvanduuren
"Invent and fit; have fits and reinvent!" - Alan J. Perlis
@schubergphilisThe Hague, Netherlands
Pinned Repositories
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
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
jgobs
Gob implementation for Java
namecheapdd
A tool to update domains registered with namecheap
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
boyvanduuren's Repositories
boyvanduuren/jgobs
Gob implementation for Java
boyvanduuren/docker-jekyll-arm
A quick & dirty container serving my jekyll site with automatic updates
boyvanduuren/elm-bijtelling
Calculate the Dutch added tax value when leasing a car
boyvanduuren/game-of-clojure
Game of life in clojure
boyvanduuren/namecheapdd
A tool to update domains registered with namecheap
boyvanduuren/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.
boyvanduuren/bfintrptr
A simple brainfuck interpreter written in C
boyvanduuren/octorunner
Run tests for (private) github repositories on any Docker engine
boyvanduuren/ttfp
Some implementations for definitions in "Type Theory and Formal Proof"
boyvanduuren/vanduuren.xyz
Source for vanduuren.xyz
boyvanduuren/bat
A cat(1) clone with wings.
boyvanduuren/battery
Small tool that reads battery status from /sys/ and calculates an average
boyvanduuren/boyvanduuren.github.io
boyvanduuren/bustub
The BusTub Relational Database Management System (Educational)
boyvanduuren/CopilotAdventures
Copilot coding adventures
boyvanduuren/coursera
boyvanduuren/docker
Docker - the open-source application container engine
boyvanduuren/docs
Documentation for CoreOS in markdown
boyvanduuren/neo4j
Graphs for Everyone
boyvanduuren/nushell
A new type of shell
boyvanduuren/ogm_issues
boyvanduuren/okta-aws-cli-assume-role
Okta AWS CLI Assume Role Tool
boyvanduuren/playground-recycleview
boyvanduuren/PoeLurker
Ease your trading experience in Path of Exile.
boyvanduuren/ql
Package ql is a pure Go embedded SQL database.
boyvanduuren/reproducer
boyvanduuren/rundeck-kubernetes-step-plugin
A rundeck plugin which allow to create(/run/delete) kubernetes jobs from rundeck jobs
boyvanduuren/terraform
Terraform is a tool for building, changing, and combining infrastructure safely and efficiently.
boyvanduuren/typeDD-idris
Type Driven Development in Idris -- exercises
boyvanduuren/vert-x.github.io
The new (post 2.0) website