Skip to content
View stklik's full-sized avatar
24 followers · 15 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@cui-unige @crestdsl @IMC-UAS-Krems

Block or report stklik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ 1 Other Updated Aug 15, 2024

  • pyniryo2 Public

    Forked from NiryoRobotics/pyniryo2
    Python GNU General Public License v3.0 Updated Aug 7, 2024

  • Road-Diversity-Analysis Public

    Studying the correlation of diversity and test metrics on roads.

    Updated Jun 25, 2024

  • IMC-Krems-Guestlecture Public

    Notebooks and material for the guest lecture at IMC Krems, January 2023

    Jupyter Notebook Updated Dec 19, 2023

  • dotfiles Public

    Shell 1 MIT License Updated Jan 18, 2023

  • PlantController Public archive

    Repo for low-level controls of measuring data

    Python MIT License Updated Jun 1, 2021

  • PlantMultiController Public archive

    An advanced version of the plant controller with WebUI

    Python 1 MIT License Updated Jun 1, 2021

  • pyTCTL Public

    A package for Timed CTL model checking in Python

    Python MIT License Updated Jul 25, 2019

  • PolyOp Public

    Forked from etienneandre/PolyOp

    Operations on Polyhedra (simple layer on PPL)

    OCaml GNU General Public License v3.0 Updated Jun 18, 2019

  • scipy-notebook-z3 Public

    A docker image based on of Jupyter's scipy-notebook with Microsoft's Z3 installed

    2 MIT License Updated Jan 11, 2018

  • tpg.now Public archive

    Small app that polls the Geneva Public Transport data according to the parameters specified in the URL

    Python 2 MIT License Updated May 21, 2017

  • Planning Public

    Planning with dlvK

    Updated Apr 25, 2017

  • ExperimentalSetup_SpringModel Public

    A Matlab script that visualises our validation of the Experimental Setup approach

    MATLAB Updated Feb 16, 2017

  • AlarmClock Public

    AlarmClock for Raspberry Pi

    Python 1 Updated Oct 22, 2014

  • MasterOfScience-Dissertation Public

    Project: VIRTUAL SPORT @ BBC - “VISUALISING LIVE SPORT EVENTS ON THE WEB”

    1 Updated Sep 2, 2013