Explore projects
-
curry-packages / stylechecker
BSD 3-Clause "New" or "Revised" LicenseA tool to check the formatting style of Curry programs
Updated -
curry-packages / profiling
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / dsdcurry
BSD 3-Clause "New" or "Revised" LicenseA tool for declarative software development
Updated -
curry-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
curry-packages / cpm-manage
BSD 3-Clause "New" or "Revised" LicenseSimple management functions for the Curry Package Manager
Updated -
The library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
curry-packages / csv
BSD 3-Clause "New" or "Revised" LicenseLibrary for reading/writing files in CSV format
Updated -
Mike Gabriel / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
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 -
curry / curry-frontend-all
BSD 3-Clause "New" or "Revised" LicenseCurry Front End (Bundle Repository)
Updated -
-
Updated
-
Updated
-
-
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
curry-packages / cass
BSD 3-Clause "New" or "Revised" LicenseThe Curry Analysis Server System
Updated -
-
curry-packages / chr-curry
BSD 3-Clause "New" or "Revised" LicenseA library to implement Constraint Handling Rules in Curry
Updated -
curry-packages / julia
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Julia programs in Curry
Updated