Explore projects

Model 》 Test 》 Relax is an open source FSM (Finite State Machine) Model-Based Testing (MBT) framework.

Mirror of the CodeCompass project for GitLab CI/CD purposes.

Materials for the Spatial algorithms course in Cartography MSc.

Safety repository for my master's thesis.