Explore projects
-
Updated
-
Updated
-
A simple Java interface wrapper around Open Trivia Database (opentdb.com)
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Software to facilitate and/or automate certificate handling within the KIT-CA/DFN-PCA.
Updated -
Updated
-
-
Tools for combining KeY with Joana.
Updated -
Updated
-
Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org).
Updated -
Updated
-
-
Data importer for RC-5 mobile sensors XLS format
Updated