GitLab

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

The central repository index of CPM

A tool to reduce the size of FlatCurry programs

Libraries to deal with FlatCurry programs

Libraries to represent FlatCurry programs with arbitrary annotations

Library and tool to show FlatCurry programs in human-readable (Curry-like) form

Libraries for XML processing

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

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

Operations to execute the front end of the Curry system

Read and update files containing properties in equational syntax

Operations related to the program execution path

A documentation generator for Curry

Libraries to represent Haskell programs in Curry

A universal REPL which can be used on top of a Curry compiler

Operations to deal with Curry module names and paths

Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner

Generic intermediate format for compiling Curry to imperative languages