Explore projects
-
thalia / concrexit
GNU Affero General Public License v3.0This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
Archived 7Updated -
clean-and-itasks / iTasks SDK
BSD 2-Clause FreeBSD LicenseThis project has been moved to GitLab.com.
Archived 1UpdatedArchived 1Updated -
Archived 1Updated
-
clean-and-itasks / abc-interpreter
BSD 2-Clause "Simplified" LicenseThis project has been moved to GitLab.com.
Archived 1UpdatedArchived 1Updated -
thalia / ThaliApp
GNU General Public License v3.0 onlyThis repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp
Archived 0Updated -
A new SAPL interpreter written in C for cross-compiling it to asm.js
Archived 0Updated -
Bram Daams / pitemp
GNU General Public License v3.0 onlyArchived 0Updated -
Archived 0Updated
-
-
Archived 0Updated
-
cncz / vncmanager
GNU General Public License v3.0 onlyHelper script to manage VNC servers on a cluster.
Archived 0Updated -
Amber Sprenkels / rutheme
Creative Commons Attribution Share Alike 4.0 InternationalArchived 0Updated -
Joshua Moerman / Yannakakis
MIT LicensePlease go to https://gitlab.science.ru.nl/moerman/hybrid-ads
Archived 0Updated -
Archived 0Updated
-
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 -
Bram Daams / pitemp-and-humidity
GNU General Public License v3.0 onlyArchived 0Updated -
The toolsuite of the LOFAR Cosmic Ray Key Science Project
Archived 0Updated -
Archived 0Updated