mklinik
Thinks about programs. Thinks about thinking about programs. Thinks about programs that think about programs.
The Netherlands
Pinned Repositories
clean-dev-tools
A collection of scripts for programming Clean on Linux
haskey
server side browser keywords
hmud
a simple MUD engine, written in haskell
iTasks-htmlTable
Library for generating customizable tables with iTasks
land-of-lisp
Example code from the book of the same name
latex-ide
Automatically runs latex when the source file changes. Spawns synctex aware pdf viewer and text editor.
lotro-fov
mod for changing the FOV in lotro
qgit4
mklinik's changes to dagenaisj/qgit4
sup-colorscheme-wombat
A colorscheme for the sup mail client
travelExpenses
After a trip with several people: calculate who owes what to whom
mklinik's Repositories
mklinik/lotro-fov
mod for changing the FOV in lotro
mklinik/latex-ide
Automatically runs latex when the source file changes. Spawns synctex aware pdf viewer and text editor.
mklinik/aux
some small bash scripts to automate various tasks
mklinik/dock-undock
helper script for docking and undocking my laptop to its dock
mklinik/haskell-misc
Small Haskell programs. For experimenting and playing around.
mklinik/presentations
Latex beamer style for Radboud University
mklinik/web-sandbox
Some hello world projects with Node.js, JavaScript and TypeScript
mklinik/advent-of-code2023
Let's see how far I get this year
mklinik/astroid
A graphical threads-with-tags style, lightweight and fast, e-mail client for Notmuch
mklinik/bank
An simple web API in Clojure
mklinik/bb-scripts
bash scripts for the ELO of RU
mklinik/bibliography
Latex bibliography files for all of my papers
mklinik/bibtextool
tool for various manipulations of .bib files
mklinik/commaFirst
Pretty-printer for C++ function call statements
mklinik/dauntless-loadout-optimizer
Generate loadouts for the game Dauntless given a specification
mklinik/haskell-bibtex
mklinik/haskell-bibtex-parser
My patches to the haskell bibtex parser package, which seems to be abandoned
mklinik/hspec
Behavior-Driven Development for Haskell
mklinik/hspec-example
A Haskell/Hspec skeleton project
mklinik/mciij2e
Some code from Andrew Appel's book "Modern Compiler Implementation in Java, 2nd edition"
mklinik/mklinik.github.io
mklinik/pandoc-wikiwords
Pandoc plugin for translating WikiWords to URLs
mklinik/programmingGroundUp
Some code from the book "Programming from the Ground Up" by Jonathan Bartlett
mklinik/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
mklinik/rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
mklinik/sensei
mklinik/symbolic-tophat
Symbolic execution of TopHat
mklinik/symbolic-tophat-haskell
Symbolic execution of the TopHat language
mklinik/tophat
Formal semantics for Task Oriented Programming
mklinik/uscs2011
Exercises and projects for the Utrecht Summer School in Computer Science: Applied Functional Programming 2011