Explore projects
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
Updated
-
-
-
-
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
Updated
-
curry-packages / icurry
BSD 3-Clause "New" or "Revised" LicenseGeneric intermediate format for compiling Curry to imperative languages
Updated -
curry-packages / html
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming
Updated -
student-projects / mapro-2017-ss
BSD 3-Clause "New" or "Revised" LicenseMasterprojekt im Sommersemester 2017: Dr. Haskell
Updated -
-
-
curry-packages / currycheck
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
curry / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
curry / curry2go
BSD 3-Clause "New" or "Revised" LicenseOUTDATED, moved to https://github.com/curry-language/curry2go
Updated -
curry-packages / dimacs
BSD 3-Clause "New" or "Revised" LicenseThis package provides an interface to SAT solvers supporting the DIMACS format.
Updated
