Libraries with operations to strongly encapsulate non-deterministic computations

Possible topics for the (masters') seminar.

Libraries to process markdown documents

Libraries for HTML programming with event-handler-based form processing

Library to specify the semantics of regular expressions

Generic intermediate format for compiling Curry to imperative languages

The standard preprocessor of Curry

A web-based editor and browser for small programs.

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

Tools to support the verification of Curry programs

A JSON library for Curry

Libraries to deal with AbstractCurry programs

Computing strongly connected components

Some hints and scripts for package administration

Library of deterministic parser combinators

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