stklik

Computer Scientist // Software Engineer // Researcher

Johannes Kepler UniversityLinz, Austria

Pinned Repositories

AlarmClock
AlarmClock for Raspberry Pi
Language:Python10
dotfiles
Language:Shell10
IMC-Krems-Guestlecture
Notebooks and material for the guest lecture at IMC Krems, January 2023
Language:Jupyter Notebook00
MasterOfScience-Dissertation
Project: VIRTUAL SPORT @ BBC - “VISUALISING LIVE SPORT EVENTS ON THE WEB”
10
PlantMultiController
An advanced version of the plant controller with WebUI
Language:Python10
tpg.now
Small app that polls the Geneva Public Transport data according to the parameters specified in the URL
Language:Python2 3 30
z3
The Z3 Theorem Prover
Language:C++10

stklik's Repositories

stklik/tpg.now
Small app that polls the Geneva Public Transport data according to the parameters specified in the URL
Language:Python2 3 30
stklik/AlarmClock
AlarmClock for Raspberry Pi
Language:Python10
stklik/dotfiles
Language:Shell10
stklik/MasterOfScience-Dissertation
Project: VIRTUAL SPORT @ BBC - “VISUALISING LIVE SPORT EVENTS ON THE WEB”
10
stklik/PlantMultiController
An advanced version of the plant controller with WebUI
Language:Python10
stklik/z3
The Z3 Theorem Prover
Language:C++10
stklik/IMC-Krems-Guestlecture
Notebooks and material for the guest lecture at IMC Krems, January 2023
Language:Jupyter Notebook00
stklik/ExperimentalSetup_SpringModel
A Matlab script that visualises our validation of the Experimental Setup approach
Language:Matlab
stklik/Planning
Planning with dlvK
stklik/PlantController
Repo for low-level controls of measuring data
Language:Python
stklik/PolyOp
Operations on Polyhedra (simple layer on PPL)
stklik/pyTCTL
A package for Timed CTL model checking in Python
Language: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
2