mklinik

lotro-fov

mod for changing the FOV in lotro

latex-ide

Automatically runs latex when the source file changes. Spawns synctex aware pdf viewer and text editor.

aux

some small bash scripts to automate various tasks

dock-undock

helper script for docking and undocking my laptop to its dock

haskell-misc

Small Haskell programs. For experimenting and playing around.

presentations

Latex beamer style for Radboud University

web-sandbox

Some hello world projects with Node.js, JavaScript and TypeScript

advent-of-code2023

Let's see how far I get this year

astroid

A graphical threads-with-tags style, lightweight and fast, e-mail client for Notmuch

bank

An simple web API in Clojure

bb-scripts

bash scripts for the ELO of RU

bibliography

Latex bibliography files for all of my papers

bibtextool

tool for various manipulations of .bib files

commaFirst

Pretty-printer for C++ function call statements

dauntless-loadout-optimizer

Generate loadouts for the game Dauntless given a specification

haskell-bibtex

haskell-bibtex-parser

My patches to the haskell bibtex parser package, which seems to be abandoned

hspec

Behavior-Driven Development for Haskell

hspec-example

A Haskell/Hspec skeleton project

mciij2e

Some code from Andrew Appel's book "Modern Compiler Implementation in Java, 2nd edition"

mklinik.github.io

pandoc-wikiwords

Pandoc plugin for translating WikiWords to URLs

programmingGroundUp

Some code from the book "Programming from the Ground Up" by Jonathan Bartlett

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

rascal

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

sensei

symbolic-tophat

Symbolic execution of TopHat

symbolic-tophat-haskell

Symbolic execution of the TopHat language

tophat

Formal semantics for Task Oriented Programming

uscs2011

Exercises and projects for the Utrecht Summer School in Computer Science: Applied Functional Programming 2011