This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
This repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp
This project has been moved to GitLab.com.
A new SAPL interpreter written in C for cross-compiling it to asm.js
A smart cron helper, see also https://pypi.org/project/sch/
A dynamic ansible inventory based on running linuxcontainers.
Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads
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
The toolsuite of the LOFAR Cosmic Ray Key Science Project