The Curry frontend

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

The Curry Analysis Server System

Computing strongly connected components

KiCS2: The Kiel Curry System v.2

Some hints and scripts for package administration

A tool to verify properties of Curry programs (contracts, non-failing)

The central repository index of CPM

The base libraries of Curry distributions, like PAKCS or KiCS2

The base libraries of PAKCS and KiCS2 (fork)

Library of deterministic parser combinators

A JSON library for Curry

This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.

A tool to optimize contracts in FlatCurry programs by proving contracts

Implementation of the SMT-LIB standard for Curry

The Curry Package Manager