mxrnx

Q42Delft, The Netherlands

Pinned Repositories

aoc2020
My answers for AoC2020
Language:Arc4 1 00
aoc2021
Language:Arc0 2 00
cah
Cards Against Humanity clone
Language:C#00
fikaba
Imageboard engine based on futallaby
Language:PHP35 6 2015
pigmanclassic
Minecraft Classic server
Language:Scheme1 1 00
ritare
No-nonsense oekaki applet
Language:JavaScript6 2 01
spawn
Template spawning for fish
Language:Shell2 1 01
verified-lenses
Mathematically verified lenses for agda2hs
Language:Agda1 2 00
vice
vi-like editor
Language:Ruby2 1 141
woah
Unobtrusive web framework
Language:Ruby9 1 91

mxrnx's Repositories

mxrnx/fikaba
Imageboard engine based on futallaby
Language:PHP35 6 2015
mxrnx/woah
Unobtrusive web framework
Language:Ruby9 1 91
mxrnx/ritare
No-nonsense oekaki applet
Language:JavaScript6 2 01
mxrnx/aoc2020
My answers for AoC2020
Language:Arc4 1 00
mxrnx/spawn
Template spawning for fish
Language:Shell2 1 01
mxrnx/vice
vi-like editor
Language:Ruby2 1 141
mxrnx/pigmanclassic
Minecraft Classic server
Language:Scheme1 1 00
mxrnx/soykaf
Scheme textboard engine
Language:Scheme1 0 0
mxrnx/verified-lenses
Mathematically verified lenses for agda2hs
Language:Agda1 2 00
mxrnx/yabl
lisp-like language and interpreter
Language:Go1 1 0
mxrnx/aoc2021
Language:Arc0 2 00
mxrnx/cah
Cards Against Humanity clone
Language:C#00
mxrnx/any
any is a tool to use any terminal-based text editor, to edit text anywhere
Language:Perl1 0
mxrnx/aoc2023
Language:Ruby
mxrnx/embark
Slightly piratical bookmarks for fish
Language:Shell1 0
mxrnx/index
fisherman index search and CI tests
Language:Go1 0
mxrnx/knus
Language:Haskell1 0
mxrnx/koi
Language:Go1 0
mxrnx/serenity
The Serenity Operating System 🐞
Language:C++0 0
mxrnx/thumbd
finger daemon
Language:Go1 0