GitLab

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 central repository index of CPM

The standard preprocessor of Curry

The Curry Analysis Server System

Generic intermediate format for compiling Curry to imperative languages

Simple management functions for the Curry Package Manager

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

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

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