Explore projects
-
-
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 / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
Updated -
curry-packages / clpbool
BSD 3-Clause "New" or "Revised" LicenseA library with a Boolean Constraint Solver based on BDDs.
Updated -
-
curry-packages / chr-curry
BSD 3-Clause "New" or "Revised" LicenseA library to implement Constraint Handling Rules in Curry
Updated -
curry-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
curry-packages / base
BSD 3-Clause "New" or "Revised" LicenseBase libraries for Curry systems
Updated -
curry-packages / assoc-legacy
BSD 3-Clause "New" or "Revised" LicenseLibrary to deal with a global association between strings
Updated -
curry-packages / allvalues
BSD 3-Clause "New" or "Revised" LicenseLibraries with operations to strongly encapsulate non-deterministic computations
Updated -
Backup repository for the "Advanced Programming" course.
Updated