Explore projects
-
Updated
-
Updated
-
Updated
-
iv4011 / documentation
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
Updated
-
of4710 / documentation
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
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
-
m-team / oidc / mytoken / server
MIT LicenseUpdated -
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 -
ungep / ReGuard Finder
MIT LicenseThis plugin locates potential Injections of PE files into the running process.
Updated -
Updated
-
Paperscraper for medrxiv and biorxiv preprint servers. Harvests metadata, allows search requests via the frontend and uses elasticsearch as a search engine and database.
Updated -
Updated
-
Updated