GitLab

KiCS2: The Kiel Curry System v.2

The central repository index of CPM

Tools to support the verification of Curry programs

PAKCS: The Portland Aachen Kiel Curry System

Tools for Curry that are used in PAKCS and KiCS2

The base libraries of Curry distributions, like PAKCS or KiCS2

The Curry Package Manager

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

Library and tool to show FlatCurry programs in human-readable (Curry-like) form

A compiler and run-time system to compile and run Curry programs as Go programs

IDE support for Curry

Shows the usage of imported entities in a module

A universal REPL which can be used on top of a Curry compiler

The Curry frontend

The standard preprocessor of Curry

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