Pinned Repositories
analyzer
Static analysis framework for C
black-sock
Webcam Midi Controller
evolutinary_optimizer
goblint-cil
C Intermediate Language
pycmdmenu
Library for creating hierarchical command line arg menus like git
TreeTodo
A todo application written in Gtk+3 / Python
oisp-k8s
oisp-sdk-python
This library provides Python bindings to the Open IoT Service Platform (OISP)
platform-launcher
arkocal's Repositories
arkocal/TreeTodo
A todo application written in Gtk+3 / Python
arkocal/pycmdmenu
Library for creating hierarchical command line arg menus like git
arkocal/analyzer
Static analysis framework for C
arkocal/black-sock
Webcam Midi Controller
arkocal/evolutinary_optimizer
arkocal/goblint-cil
C Intermediate Language
arkocal/mancho
A free transcription tool with focus on musical transcriptions
arkocal/music-webtools
A set of musical tools in plain HTML5/JS
arkocal/oisp-backend
arkocal/oisp-beam-rule-engine
arkocal/oisp-frontend
arkocal/oisp-gearpump-rule-engine
arkocal/oisp-k8s
arkocal/oisp-kubernetes
Kubernetes Templates for OISP
arkocal/oisp-mqtt-gw
arkocal/oisp-sdk-python
arkocal/oisp-services
Service Repo
arkocal/oisp-streamer
arkocal/oisp-websocket-server
arkocal/pgdp-jacer
Freiwilliges Zusatzmaterial zu den TÜs in PGdP (IN0002) an der TUM.
arkocal/platform-launcher
arkocal/postgres-operator
Postgres operator creates and manages PostgreSQL clusters running in Kubernetes
arkocal/Some-game
arkocal/tetai
AI Experiments for the popular falling blocks game
arkocal/Trace
My attempts to trace a ball