Pinned Repositories
automated-reasoning
computer-algebra
Assignments for the computer algebra course
distinguishing-hml
Implementation of a prototype for computing minimal-depth distinguishing formulas.
Gastenboek
Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
HenryBot
Henry is a simple bot for telegram.
Imperatiefprogrameren2
javascript-winwheel
Create spinning prize wheels on HTML canvas with Winwheel.js
jjmartens.github.io
jjmartens.github.io-old
Personal site
mmq
my music queue, simple and shared music system.
jjmartens's Repositories
jjmartens/mmq
my music queue, simple and shared music system.
jjmartens/Gastenboek
Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
jjmartens/HenryBot
Henry is a simple bot for telegram.
jjmartens/automated-reasoning
jjmartens/computer-algebra
Assignments for the computer algebra course
jjmartens/distinguishing-hml
Implementation of a prototype for computing minimal-depth distinguishing formulas.
jjmartens/Imperatiefprogrameren2
jjmartens/javascript-winwheel
Create spinning prize wheels on HTML canvas with Winwheel.js
jjmartens/jjmartens.github.io
jjmartens/jjmartens.github.io-old
Personal site
jjmartens/mCRL2
The Git repository for the mCRL2 toolset.
jjmartens/peg-parser
Simple utility script that parses a word with a Parsing Expression Grammar
jjmartens/python-false-interpreter
Interpreter written in Python for the False programming language.
jjmartens/rsc-helper
Script I use to make a reservation for swimming
jjmartens/mahjong-counter
personal helper to compute mahjong scores mainly written by chatgpt.
jjmartens/rad-van-cad
jjmartens/ru-big-data
jjmartens/Wiehaaltdepitcher
Application to use with friends to see who has to buy the next pitcher of beer. Based on Angular and Node.js.