jjmartens
Follow
-
-
mCRL2 Public
Forked from mCRL2org/mCRL2The Git repository for the mCRL2 toolset.
C++ Other UpdatedJun 5, 2024 -
-
mahjong-counter Public
personal helper to compute mahjong scores mainly written by chatgpt.
JavaScript UpdatedMar 8, 2024 -
distinguishing-hml Public
Implementation of a prototype for computing minimal-depth distinguishing formulas.
Python UpdatedJul 12, 2023 -
computer-algebra Public archive
Assignments for the computer algebra course
MATLAB UpdatedSep 7, 2018 -
-
-
-
-
Wiehaaltdepitcher Public
Forked from Baukebrenninkmeijer/WiehaaltdepitcherApplication to use with friends to see who has to buy the next pitcher of beer. Based on Angular and Node.js.
JavaScript UpdatedAug 18, 2017 -
javascript-winwheel Public
Forked from zarocknz/javascript-winwheelCreate spinning prize wheels on HTML canvas with Winwheel.js
JavaScript MIT License UpdatedMar 30, 2017 -
mmq Public
my music queue, simple and shared music system.
-
peg-parser Public
Simple utility script that parses a word with a Parsing Expression Grammar
Python UpdatedOct 25, 2016 -
-
Gastenboek Public
Forked from Dekker1/GastenboekEen Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
-
python-false-interpreter Public
Forked from Sipondo/python-false-interpreterInterpreter written in Python for the False programming language.
Python MIT License UpdatedMay 1, 2015 -