Masala: The Repository of Curry Packages

Last page: ?

All categories

Category name Description
Analysis Packages with libraries and tools to analyze (Curry) programs
Compiler Packages to support the development of (Curry) compilers
Constraints Packages to support constraint programming for various constraint domains
Control Packages to support control structures in Curry programs
Data Packages implementing various data structures for programming
Database Packages supporting the connection of Curry programs to databases
Debugging Packages to support the debugging of Curry programs
Documentation Packages to support documentation tasks
IO Packages providing extra support for input/output tasks in Curry
Logic Packages to deal with logic-oriented non-deterministic computations
Metaprogramming 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.
Narrowing Packages to support, e.g., interpret or visualize, narrowing strategies
Network Packages to support communication over computer networks
Numeric This category contains packages providing numeric operations or representations of numeric objects.
Optimization Packages to support the optimization of Curry programs
Packaging Tools to support the management of Curry packages
Parsing This category contains packages to support the implementation of general parsers or parsers for specific languages.
Printing Packages to support printing and formatting
Programming Packages to support various programming tasks when developing Curry programs
Rewriting Packages to support, e.g., interpret or visualize, rewriting strategies
System Packages to support system-related tasks in Curry programs, like file access, process handling, etc.
Testing Packages to support the testing of Curry programs
User Interface This category contains packages with libraries to support the implementation of user interfaces, like GUIs.
Verification This category contains packages to support the verification of (Curry) programs and to provide connections to other verification tools.
Web This category contains packages to support web programming, i.e., the implementation of web-based applications.