Explore projects
-
-
-
curry-packages / db-pakcs
BSD 3-Clause "New" or "Revised" LicenseOld database libraries for PAKCS (deprecated)
Updated -
curry-packages / clpfd-smt
BSD 3-Clause "New" or "Revised" LicenseLibraries for finite domain constraint programming with SMT solvers
Updated -
-
-
-
Pascal Stücker / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
-
-
Updated
-
-
-
student-projects / mapro-2017-ss
BSD 3-Clause "New" or "Revised" LicenseMasterprojekt im Sommersemester 2017: Dr. Haskell
Updated -
Finn Teegen / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
Updated
-
-
Jasper Paul Sikorra / hurry-translator
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Jasper Paul Sikorra / icurry
BSD 3-Clause "New" or "Revised" LicenseLibraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.
Updated