Explore projects
-
-
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
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 -
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated