Explore projects
-
-
-
-
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
-
curry-packages / ccti
BSD 3-Clause "New" or "Revised" LicenseCurry Concolic Testing Interpreter
Updated -
curry-packages / prolog2curry
BSD 3-Clause "New" or "Revised" LicenseA tool to transform Prolog programs to Curry programs
Updated -
Automatic testing framework for Play web applications written in Scala
Updated -
-
packaging / psifi-keyring
GNU General Public License v2.0 or laterGnuPG public keys for PS-IfI developers and the PS-IfI archive
Updated -
-
-
-
curry-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
curry / curry-frontend-all
BSD 3-Clause "New" or "Revised" LicenseCurry Front End (Bundle Repository)
Updated -
-
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
curry / kics
BSD 3-Clause "New" or "Revised" LicenseFirst version of KiCS, the Curry –> Haskell Compiler
Updated -
The Curry Package Manager (deprecated, current version moved to group curry-packages)
Updated