Explore projects

Library to access profile data of the back-end Prolog system of PAKCS

Simple management functions for the Curry Package Manager

Libraries for type-safe database programming

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

Library for dealing with URLs

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

Utilities for sending emails

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

Libraries to deal with AbstractCurry programs

Generic intermediate format for compiling Curry to imperative languages

Libraries to visualize graphs with Graphviz

Possible topics for the (masters') seminar.

Libraries to process markdown documents

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

A simple GUI for highlighting functions in the source text

Implementation of command "runcurry"