Explore projects

Library to specify the semantics of regular expressions

Library for inductive graphs

Library for dealing with URLs

Libraries to visualize graphs with Graphviz

Libraries to process markdown documents

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

The Spicey web framework for Curry

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

The central repository index of CPM

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

A tool to generate a makefile for a Curry application