GitLab

The central repository index of CPM

A JSON library for Curry

Generic intermediate format for compiling Curry to imperative languages

Simple management functions for the Curry Package Manager

PAKCS: The Portland Aachen Kiel Curry System

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

The base libraries of Curry distributions, like PAKCS or KiCS2

The standard preprocessor of Curry

The Curry Analysis Server System

Libraries to visualize graphs with Graphviz

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

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

A documentation generator for Curry

Libraries to process markdown documents

Tools for Curry that are used in PAKCS and KiCS2

A transformation tool to replace Boolean equalities by equational constraints

Libraries for type-safe database programming

Libraries for programming graphical user interfaces