Explore projects

Kleine demo hoe je d3 kan gebruiken voor FSMs en bisimulatie. https://dingen.joshuamoerman.nl/fsm-diff-vis/

Scripts om ANS dingen te automatiseren

Sudoku's oplossen met propositielogica

Bijlagen bij DGTs in ANS, voor de cursussen IB0003, IB0402, IB0602 en IB3602

Tools to decompose finite state machines.

Een repository om te kijken of (en hoe) GitLab runners werken.

Fork of https://git8.cs.fau.de/software/copar

Sudoku's oplossen met propositielogica