Popular repositories Loading

1. datanorm-python datanorm-python Public

   A collection of parser classes to handle DATANORM files

   Python 3

2. MIDI-Controller MIDI-Controller Public

   Quick-and-dirty MIDI-Controller auf Basis eines Arduino UNO zur Steuerung von QLab

   C++ 1

3. STM32F4_Transportkontrollsystem STM32F4_Transportkontrollsystem Public

   C 1

4. visualRootMeasurement visualRootMeasurement Public

   This repo contains a program based on OpenCV 4 to measure the length of roots on images.

   C++ 1

5. ultimate-automizer-vscode ultimate-automizer-vscode Public

   This extension runs a formal verification on the current active C file. It relies on Ultimate Automizer as external tool.

   TypeScript 1

6. ultimate-automizer-docker ultimate-automizer-docker Public

   Several Dockerfiles and wrappers to use Ultimate inside a Docker container e.g. for use on MacOS

   Shell