Explore projects
-
curry-packages / peano
BSD 3-Clause "New" or "Revised" LicenseLibrary defining natural numbers in Peano representation
Updated -
Updated
-
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
-
-
-
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated -
curry-packages / ninja
BSD 3-Clause "New" or "Revised" LicenseRepresentation and generation of Ninja files
Updated -
Updated
-
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated -
curry-packages / markdown
BSD 3-Clause "New" or "Revised" LicenseLibraries to process markdown documents
Updated -
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
student-projects / mapro-2017-ss
BSD 3-Clause "New" or "Revised" LicenseMasterprojekt im Sommersemester 2017: Dr. Haskell
Updated -
curry-packages / makefile
BSD 3-Clause "New" or "Revised" LicenseA tool to generate a makefile for a Curry application
Updated -
curry-packages / mail-utils
BSD 3-Clause "New" or "Revised" LicenseUtilities for sending emails
Updated -
-
-