GitLab

The central repository index of CPM

A tool to support executable benchmark papers

Operations to format values of basic data types with formatting f lags

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

The Curry frontend

PAKCS: The Portland Aachen Kiel Curry System

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

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

The Curry Package Manager

Libraries to represent FlatCurry programs with arbitrary annotations

Library for handling global entities in programs

Library for for simple cryptography hashing

Libraries for type-safe database programming

KiCS2: The Kiel Curry System v.2

Library with to represent strongly encapsulated non-deterministic computations as a search tree

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

A partial evaluator for Curry (without sharing)

The base libraries of Curry distributions, like PAKCS or KiCS2

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