Explore projects

Mirror of https://github.com/teco-kit/ARDevKitPlayer_Android

Mirror of https://github.com/teco-kit/Android-Context-Framework

Mirror of https://github.com/teco-kit/Hadoop-MovementVectorJob

Mirror of https://github.com/teco-kit/contiki-jn51xx

A simple Java interface wrapper around Open Trivia Database (opentdb.com)

Software to facilitate and/or automate certificate handling within the KIT-CA/DFN-PCA.

ECP Authentication Module for ApacheDS

Tools for combining KeY with Joana.

Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org).

Implementierung

Data importer for RC-5 mobile sensors XLS format

Application to get data from DS18B12 one-wire temperature and DHT-22 temperature/humidity sensors and send to backend infrastructure