Explore projects
-
curry-packages / chr-curry
BSD 3-Clause "New" or "Revised" LicenseA library to implement Constraint Handling Rules in Curry
Updated -
curry-packages / peval-noshare
BSD 3-Clause "New" or "Revised" LicenseA partial evaluator for Curry (without sharing)
Updated -
curry-packages / assoc-legacy
BSD 3-Clause "New" or "Revised" LicenseLibrary to deal with a global association between strings
Updated -
curry-packages / ports
BSD 3-Clause "New" or "Revised" LicenseLibrary for distributed programming with ports
Updated -
curry-packages / distribution
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / profiling-pakcs
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / base
BSD 3-Clause "New" or "Revised" LicenseBase libraries for Curry systems
Updated -
curry-packages / clpbool
BSD 3-Clause "New" or "Revised" LicenseA library with a Boolean Constraint Solver based on BDDs.
Updated -
curry-packages / global-variables
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global variables in PAKCS
Updated -
Backup repository for the "Advanced Programming" course.
Updated -
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -