Packages with libraries and tools to analyze (Curry) programs
Packages to support the development of (Curry) compilers
Packages to support constraint programming for various constraint domains
Packages to support control structures in Curry programs
Packages implementing various data structures for programming
Packages supporting the connection of Curry programs to databases
Packages to support the debugging of Curry programs
Packages to support documentation tasks
Packages providing extra support for input/output tasks in Curry
Packages to deal with logic-oriented non-deterministic computations
This category contains packages for meta-programming. Meta-programs are programs handling programs (possibly written in other programming languages) as data so that they can be interpreted, translated, or analyzed.
Packages to support, e.g., interpret or visualize, narrowing strategies
Packages to support communication over computer networks
This category contains packages providing numeric operations or representations of numeric objects.
Packages to support the optimization of Curry programs
Tools to support the management of Curry packages
This category contains packages to support the implementation of general parsers or parsers for specific languages.
Packages to support printing and formatting
Packages to support various programming tasks when developing Curry programs
abstract-haskell addtypes allvalues base benchmark-papers contracts cpc cpm curry-repl currypp dsdcurry extra failfree global global-variables inversion makefile ninja pflp plural-arguments ports property-prover random runcurry searchtree searchtree-unsafe setfunction-synthesis setfunctions showflatcurry sourceproggui
Packages to support, e.g., interpret or visualize, rewriting strategies
Packages to support system-related tasks in Curry programs, like file access, process handling, etc.
Packages to support the testing of Curry programs
This category contains packages with libraries to support the implementation of user interfaces, like GUIs.
This category contains packages to support the verification of (Curry) programs and to provide connections to other verification tools.
This category contains packages to support web programming, i.e., the implementation of web-based applications.