Explore projects
-
curry-packages / curry-funcinfo
BSD 3-Clause "New" or "Revised" LicenseA simple program to show analysis information about a function defined in some package
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
curry-packages / curry-interface
BSD 3-Clause "New" or "Revised" LicenseUpdated -
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated -
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
curry-packages / curry-resources
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / curry-source
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
curry-packages / property-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to verify properties of Curry programs (contracts, non-failing)
Updated -
curry-packages / prolog2curry
BSD 3-Clause "New" or "Revised" LicenseA tool to transform Prolog programs to Curry programs
Updated -
curry-packages / allvalues
BSD 3-Clause "New" or "Revised" LicenseLibraries with operations to strongly encapsulate non-deterministic computations
Updated -
Updated
-
curry-packages / assoc-legacy
BSD 3-Clause "New" or "Revised" LicenseLibrary to deal with a global association between strings
Updated -
curry-packages / golang
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Go programs in Curry
Updated -
curry-packages / curry-repl
BSD 3-Clause "New" or "Revised" LicenseA universal REPL which can be used on top of a Curry compiler
Updated