Explore projects
-
-
Updated
-
Updated
-
Updated
-
Jplag for Tamarin / JPlag extension for Tamarin
GNU General Public License v3.0 onlyUpdated -
-
Paper by @shoerl, @beckerfe, @clruch for TRB 2018, currently under submission for TR:C
Updated -
Updated
-
Updated
-
TEC / Public / Student projects / MA - Schnider - IPoverLPN / Baloo-dpp2
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
timeyer / Mosaic
GNU General Public License v3.0 or laterThe mosaic logic puzzle implemented in Java.
Updated -
scmoritz / executable-code-snippets
Mozilla Public License 2.0Write multiple-choice-style questions about code snippets, and generate corresponding HTML pages that show the snippet along compiler output and execution result
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Krzysztof Lukasik / AnD
GNU General Public License v3.0 or laterAlgorithmen und Datenstrukturen HS 2023
Updated