Pinned Repositories
AlarmClock
AlarmClock for Raspberry Pi
dotfiles
IMC-Krems-Guestlecture
Notebooks and material for the guest lecture at IMC Krems, January 2023
MasterOfScience-Dissertation
Project: VIRTUAL SPORT @ BBC - “VISUALISING LIVE SPORT EVENTS ON THE WEB”
PlantMultiController
An advanced version of the plant controller with WebUI
tpg.now
Small app that polls the Geneva Public Transport data according to the parameters specified in the URL
z3
The Z3 Theorem Prover
stklik's Repositories
stklik/tpg.now
Small app that polls the Geneva Public Transport data according to the parameters specified in the URL
stklik/AlarmClock
AlarmClock for Raspberry Pi
stklik/dotfiles
stklik/MasterOfScience-Dissertation
Project: VIRTUAL SPORT @ BBC - “VISUALISING LIVE SPORT EVENTS ON THE WEB”
stklik/PlantMultiController
An advanced version of the plant controller with WebUI
stklik/z3
The Z3 Theorem Prover
stklik/IMC-Krems-Guestlecture
Notebooks and material for the guest lecture at IMC Krems, January 2023
stklik/ExperimentalSetup_SpringModel
A Matlab script that visualises our validation of the Experimental Setup approach
stklik/Planning
Planning with dlvK
stklik/PlantController
Repo for low-level controls of measuring data
stklik/PolyOp
Operations on Polyhedra (simple layer on PPL)
stklik/pyniryo2
stklik/pyTCTL
A package for Timed CTL model checking in Python
stklik/Road-Diversity-Analysis
Studying the correlation of diversity and test metrics on roads.
stklik/scipy-notebook-z3
A docker image based on of Jupyter's scipy-notebook with Microsoft's Z3 installed