Explore projects
-
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
theses / 2020 / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Kai Prott / curry-ghc-plugin
BSD 3-Clause "New" or "Revised" LicenseArchived 1Updated -
-
curry-packages / benchmark-papers
BSD 3-Clause "New" or "Revised" LicenseA tool to support executable benchmark papers
Updated -
-
-
-
-
-
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
-
-
Automatic testing framework for Play web applications written in Scala
Updated