GitLab

KiCS2: The Kiel Curry System v.2

Comparison of Haskell effect libraries for the Master's Project in SS 2020.

The Curry Package Manager (deprecated, current version moved to group curry-packages)

The library folders, with separate branches for kics2, pakcs and the common libraries

PAKCS: The Portland Aachen Kiel Curry System

Libraries to represent Julia programs in Curry

This package contains libraries to exactly print a curry-ast back to its source representation.

KiCS2: The Kiel Curry System v.2

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

The standard preprocessor of Curry

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

Library to support reading/writing binary data

IDE support for Curry

Library defining natural numbers in Peano representation

Libraries for type-safe database programming

Libraries for HTML programming with event-handler-based form processing

A JSON library for Curry