Explore projects

Libraries for term rewriting and narrowing

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

Curry Front End (Bundle Repository)

The Curry frontend

PAKCS: The Portland Aachen Kiel Curry System

Tools for Curry that are used in PAKCS and KiCS2

Performance test data for the Curry package manager. Extracted from the npm registry.

An option parser for Curry

A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey

Deterministic parser combinators

The Curry frontend

KiCS2: The Kiel Curry System v.2

A JSON library for Curry

The Curry frontend

Basic Curry modules for the frontend

OUTDATED, moved to https://github.com/curry-language/masala