Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)

Computing strongly connected components

Libraries implementing red-black trees for tables and sets

Library for pseudo-random number generation

Library with double-ended queues supporting access at both ends in constant amortized time

Read and update files containing properties in equational syntax

Library to access profile data of the back-end Prolog system of PAKCS

An Advanced Command Line Parser for Curry

A JSON library for Curry

Operations to execute the front end of the Curry system

Libraries to deal with FlatCurry programs

Operations related to the program execution path

Library of deterministic parser combinators