Themenvorschläge für Bachelor- und Masterarbeiten in der AG Programmiersprachen und Übersetzerkonstruktion

The Curry frontend

Possible topics for the (masters') seminar.

The central repository index of CPM

A tool to add missing type signatures to top-level operations in a Curry module

Simple management functions for the Curry Package Manager

Basic Curry modules for the frontend

The Curry Package Manager

Library to support reading/writing binary data

IDE support for Curry

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

Library defining natural numbers in Peano representation

PAKCS: The Portland Aachen Kiel Curry System

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

Libraries for type-safe database programming

Generic intermediate format for compiling Curry to imperative languages

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