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/hmud
a simple MUD engine, written in haskell
mklinik/land-of-lisp
Example code from the book of the same name
mklinik/haskey
server side browser keywords
mklinik/sup-colorscheme-wombat
A colorscheme for the sup mail client
mklinik/travelExpenses
After a trip with several people: calculate who owes what to whom
mklinik/gimp-plug-ins
partially automatizing my standard photo workflow
mklinik/pwsafe
A command-line password manager
mklinik/radboud
Stuff related to my study at Radboud University Nijmegen
mklinik/SimpleIRC
IRC Library for Haskell
mklinik/sup
A curses threads-with-tags style email client.
mklinik/TheCoreConverter
Script to convert starting 4 layouts of TheCore into the 48 total layouts
mklinik/vimus
An MPD client with vim-like key bindings
mklinik/XMPP
my patches on Network.XMPP
mklinik/clean-dev-tools
A collection of scripts for programming Clean on Linux
mklinik/iTasks-htmlTable
Library for generating customizable tables with iTasks
mklinik/clean-TestFramework
Deprecated. Please use the test framework in clean platform instead. A small test framework for Clean
mklinik/compiler-construction-werkcollege-java
Skeleton for an expression parser in java. For the compiler construction course at Radboud University
mklinik/computerAlgebra
My programs for the computer algebra course at the Radboud University Nijmegen
mklinik/fancontrol
Minimalistic fan control for my x200
mklinik/law-in-cyberspace
mklinik/pddl-examples
some small PDDL examples
mklinik/simple-genetic-algorithm
Simple parallel genetic algorithm implementation in pure Haskell
mklinik/spl-test-programs
Test programs for the compiler construction course at Radboud University
mklinik/symbolic
Symbolic execution engine for toy language.
mklinik/task-semantics
A temporary mirror for the task semantics paper
mklinik/thesis
My master's thesis at Radboud University
mklinik/time-machine
A Haskell library to mock the current time. ⏰
mklinik/vim-clean
Clean plugin for Vim
mklinik/vim-expand-region
Vim plugin that allows you to visually select increasingly larger regions of text using the same key combination.
mklinik/vim-ghcid-quickfix
Increse your Haskell development via ghcid!