Explore projects
-
curry-packages / curry-repl
BSD 3-Clause "New" or "Revised" LicenseA universal REPL which can be used on top of a Curry compiler
Updated -
curry-packages / stylechecker
BSD 3-Clause "New" or "Revised" LicenseA tool to check the formatting style of Curry programs
Updated -
Updated
-
curry-packages / cass-analysis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
curry-packages / currypp
BSD 3-Clause "New" or "Revised" LicenseThe standard preprocessor of Curry
Updated -
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / frontend-exec
BSD 3-Clause "New" or "Revised" LicenseOperations to execute the front end of the Curry system
Updated -
curry-packages / allvalues
BSD 3-Clause "New" or "Revised" LicenseLibraries with operations to strongly encapsulate non-deterministic computations
Updated -
-
curry-packages / cass
BSD 3-Clause "New" or "Revised" LicenseThe Curry Analysis Server System
Updated -
Updated
-
curry-packages / currybrowse
BSD 3-Clause "New" or "Revised" LicenseA GUI to browse and analyze the modules of a Curry program
Updated -
Updated -
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
curry-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
curry-packages / global
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global entities in programs
Updated -
curry-packages / io-extra
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated