Explore projects
-
Software to facilitate and/or automate certificate handling within the KIT-CA/DFN-PCA.
Updated -
Tools for combining KeY with Joana.
Updated -
Relational Debugger.
Updated -
Updated
-
Application to get data from DS18B12 one-wire temperature and DHT-22 temperature/humidity sensors and send to backend infrastructure
Updated -
Data importer for RC-5 mobile sensors XLS format
Updated -
-
Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org).
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
A simple Java interface wrapper around Open Trivia Database (opentdb.com)
Updated