Explore projects

Libraries for HTML programming

Linearity optimizer for functional patterns and non-strict unification

Libraries to represent Julia programs in Curry

Libraries to represent JavaScript programs in Curry

Prototype implementation of synthesizing set functions

A compiler for Curry into JavaScript programs used in WUIs.

General utility functions and useful additions to the standard library

Basic Curry modules for the frontend

Support for CGI programming in HTML libraries

Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry

Seminar paper on Selective Applicative Functors

Base libraries for Curry systems

A library with a Boolean Constraint Solver based on BDDs.

Library for handling global variables in PAKCS

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

KiCS2: The Kiel Curry System v.2

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

This package contains libraries to exactly print a curry-ast back to its source representation.