GitLab

KiCS2: The Kiel Curry System v.2

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

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

PAKCS: The Portland Aachen Kiel Curry System

A library to implement Constraint Handling Rules in Curry

The central repository index of CPM

Simple management functions for the Curry Package Manager

The Curry Package Manager

Libraries to deal with FlatCurry programs

The base libraries of Curry distributions, like PAKCS or KiCS2

The Spicey web framework for Curry

Tools for database applications specified by entity-relationship diagrams (ERDs)

A tool to verify whether a Curry program executes without failures

A tool to optimize contracts in FlatCurry programs by proving contracts

Operations to deal with Curry module names and paths

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

Implementation of the SMT-LIB standard for Curry

Libraries with operations to strongly encapsulate non-deterministic computations

Library with functional logic parser combinators

Libraries for programming graphical user interfaces