Explore projects
-
A project where we develop some of the (Java) data-structures that we use in Tomte
Updated -
Markus Klinik / program-analysis
MIT LicenseA compiler and static cost analyzer for a simplified variant of iTasks
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/itasks-ide
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-base
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-scrub
Updated -
This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC
Updated -
Updated
-
Updated
-
Timmy Weerwag / splc
OtherUpdated -
The project simulates TCP models learned as part of the learning & model checking TCP work.
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-core
Updated -
Interpreter for my mapper language for abstraction in automata learning.
Updated -
-
Repository for the framework used in project 1 of the computer networking course.
Updated -
Repository for the framework used in the DNS Resolver and Name Server Project of the computer networking course.
Updated -
thalia / concrexit
GNU Affero General Public License v3.0This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
archived 9Updated -
Wouter van der Linde / Qhasm
The UnlicenseThis project contains the Qhasm implementation I used in my Bachelor thesis
Updated -
-
-
archived 0Updated