Explore projects
-
Updated
-
Updated
-
Updated
-
m-team / oidc / mytoken / server
MIT LicenseUpdated -
Updated
-
-
Updated
-
Updated
-
th7356 / wfGenes
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
iv4011 / documentation
Creative Commons Zero v1.0 UniversalUpdated -
ComPlat / Xvial
MIT LicenseUpdated -
Updated
-
of4710 / documentation
Creative Commons Zero v1.0 UniversalUpdated -
fp2188 / ProofScriptParser
GNU General Public License v3.0 onlyGrammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org). Fork of Sarah Grebing's work.
Updated -
CIPM for Lua IIoT Applications / CIPM Pipeline
Eclipse Public License 2.0Updated -
Updated
-
ungep / ReGuard Finder
MIT LicenseThis plugin locates potential Injections of PE files into the running process.
Updated -
Project repository for "Artificial Intelligence in Service Systems - Applications in Computer Vision" in the summer term 2022 at KIT.
By: Davinny, Dominik, Kai & Sven
Updated