Explore projects
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
-
-
curry-packages / currycheck
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / icurry
BSD 3-Clause "New" or "Revised" LicenseGeneric intermediate format for compiling Curry to imperative languages
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 -
-
curry-packages / time
BSD 3-Clause "New" or "Revised" LicenseUpdated -
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated -
curry-packages / curry-resources
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / curry-interface
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / cdbi
BSD 3-Clause "New" or "Revised" LicenseLibraries for type-safe database programming
Updated -
curry-packages / runcurry
BSD 3-Clause "New" or "Revised" LicenseImplementation of command "runcurry"
Updated -
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
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 / io-extra
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / global
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global entities in programs
Updated