A tool to generate conversion functions between Curry data types and XML representations

Libraries for XML processing

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

Libraries to support the type-oriented construction of web user interfaces

Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)

Tools to support the verification of Curry programs

Library for dealing with URLs

Libraries to implement declarative user interfaces

The sources of the tutorial on Curry.

Library to support lightweight generic traversals through tree-structured data

A transformation tool to replace Boolean equalities by equational constraints

A tool to check the formatting style of Curry programs

Simple website to demonstrate SQL-Injections

The Spicey web framework for Curry

A simple GUI for highlighting functions in the source text

Library for programming with sockets