Explore projects

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

Implementation of the SMT-LIB standard for Curry

A web-based editor and browser for small programs.

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

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

Prototype implementation of synthesizing set functions

Seminar paper on Selective Applicative Functors

Possible topics for the (masters') seminar.

Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free

Library with to represent strongly encapsulated non-deterministic computations as a search tree

Computing strongly connected components

Implementation of command "runcurry"

Library for roman numbers

Libraries for term rewriting and narrowing

Analyzing the residuation behavior of Curry programs

The Curry Report

Library to specify the semantics of regular expressions

Libraries implementing red-black trees for tables and sets