Explore projects
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
-
-
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" LicenseA compiler and run-time system to compile and run Curry programs as Go programs
Updated -
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
curry-packages / dimacs
BSD 3-Clause "New" or "Revised" LicenseThis package provides an interface to SAT solvers supporting the DIMACS format.
Updated -
packaging / fusiondirectory-hooks
GNU General Public License v2.0 or laterUser- and host creation/removal hook scripts for FusionDirectory
Updated