Library for dealing with URLs

A simple GUI for highlighting functions in the source text

A GUI to browse and analyze the modules of a Curry program

Shows the usage of imported entities in a module

A documentation generator for Curry

Library of deterministic parser combinators

A Pretty Printer for Two Dimensions

A style checker for Curry programs

A tool to add missing type signatures to top-level operations in a Curry module

Tools to support the verification of Curry programs

Tools for database applications specified by entity-relationship diagrams (ERDs)

The Curry Analysis Server System

Simple management functions for the Curry Package Manager

The Curry Package Manager

Scripts for building Curry (DEB) packages

Libraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.

A Curry Program Coverage tool