Explore projects
-
cncz / vncmanager
GNU General Public License v3.0 onlyHelper script to manage VNC servers on a cluster.
archived 0Updated -
Bram Daams / pitemp
GNU General Public License v3.0 onlyarchived 0Updated -
Bram Daams / vncmanager
GNU General Public License v3.0 onlyHelper script to manage VNC servers on a cluster.
archived 0Updated -
-
The toolsuite of the LOFAR Cosmic Ray Key Science Project
archived 0Updated -
Joshua Moerman / Yannakakis
MIT LicensePlease go to https://gitlab.science.ru.nl/moerman/hybrid-ads
archived 0Updated -
-
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning
archived 0Updated -
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
archived 0Updated -
A new SAPL interpreter written in C for cross-compiling it to asm.js
archived 0Updated