Explore projects

Libraries to deal with AbstractCurry programs

Libraries to represent Haskell programs in Curry

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

Some hints and scripts for package administration

Backup repository for the "Advanced Programming" course.

Libraries with operations to strongly encapsulate non-deterministic computations

Library supporting formatted output on terminals

An implementation of arrays with Braun trees

Library to deal with a global association between strings

Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry

Base libraries for Curry systems

A tool to support executable benchmark papers

Library to support reading/writing binary data

A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey

A Pretty Printer for Two Dimensions