Explore projects
-
curry-packages / html
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming
Updated -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated -
curry-packages / julia
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Julia programs in Curry
Updated -
curry-packages / javascript
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent JavaScript programs in Curry
Updated -
curry-packages / setfunction-synthesis
BSD 3-Clause "New" or "Revised" LicensePrototype implementation of synthesizing set functions
Updated -
-
curry-packages / extra
BSD 3-Clause "New" or "Revised" LicenseGeneral utility functions and useful additions to the standard library
Updated -
curry / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
curry-packages / html-cgi
BSD 3-Clause "New" or "Revised" LicenseSupport for CGI programming in HTML libraries
Updated -
Updated
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
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 -
curry-packages / wui
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces
Updated -
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
The Curry Package Manager (deprecated, current version moved to group curry-packages)
Updated -
This package contains libraries to exactly print a curry-ast back to its source representation.
Updated