Explore projects

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.

This project has been moved to GitLab.com.

A new SAPL interpreter written in C for cross-compiling it to asm.js

This project has been moved to GitLab.com.

A smart cron helper, see also https://pypi.org/project/sch/

A dynamic ansible inventory based on running linuxcontainers.

This project has been moved to GitLab.com.

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