Explore projects
-
Updated
-
Updated
-
Updated
-
-
Archived 0Updated
-
Updated
-
Updated
-
-
Updated
-
Grammar 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 -
Updated
-
-
Updated
-
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 -
This 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