Explore projects

The central repository index of CPM

Libraries to represent JavaScript programs in Curry

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

Computing strongly connected components

A tool to optimize contracts in FlatCurry programs by proving contracts

Library implementing finite maps (efficient mappings from keys to values)

Library to support lightweight generic traversals through tree-structured data

Libraries to process markdown documents

Library for handling global variables in PAKCS

Libraries for accessing databases via database keys

A call-pattern analysis and transformation tool to improve lazy non-deterministic computations

COOSy: A tool to observe functional logic computations

Deterministic parser combinators

Library for inductive graphs

Libraries to represent Haskell programs in Curry

An ECMAScript library for Curry

A JSON library for Curry

CLP libraries for PAKCS

Libraries to support the type-oriented construction of web user interfaces

Utilities for sending emails