Mirror of https://github.com/Wassasin/irmaseal
Grammatical inference using the Z3 SMT solver
Shared library files (for e.g. LaTeX)
MarietjePRISpy
TUI for marietje-zuid
Clide a CLean IDE (eclipse plugin)
Wij hebben niet gewonnen...
