Explore projects
-
MRRC / NMRzoo / ssnake
GNU General Public License v3.0 onlyUpdated -
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .
Updated -
Updated
-
Learning product automata
Updated -
Updated
-
-
An automatic code review tool for student Java assignments.
Updated -
Updated
-
Updated
-
MRRC / NMRzoo / magpie
GNU General Public License v3.0 or laterUpdated -
-
Erin van der Veen / Bachelor-Thesis
GNU General Public License v2.0 or laterUpdated -
Extending the cost analysis with cost over time
Updated -
Updated
-