Explore projects

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

General utility functions and useful additions to the standard library

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

Libraries to read and write FlatCurry programs with type annotations

CLP libraries for PAKCS

Library to deal with a global association between strings

Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung

A tool to transform Prolog programs to Curry programs

Library with functional logic parser combinators

Library for reading/writing files in CSV format

The Curry Package Manager

The central repository index of CPM

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

Dasselbe, aber mit prolog-tests.

The library folders, with separate branches for kics2, pakcs and the common libraries

KiCS2: The Kiel Curry System v.2

Curry Concolic Testing Interpreter

A partial evaluator for Curry (without sharing)

Representation and generation of Ninja files