Explore projects

Libraries for type-safe database programming

Fork of the holumbus framework

Operations to deal with Curry module names and paths

Scripts for building Curry (DEB) packages

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

Curry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names

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

QuickCheck tests for exercises

Support for CGI programming in HTML libraries

Some hints and scripts for package administration

Seminar paper on Selective Applicative Functors

Operations to execute the front end of the Curry system

A curry libary to read the TypedFlatCurry format (*.tfcy) and convert it to AnnotatedFlatCurry (see flatcurry-annotated package)

Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)

General utility functions and useful additions to the standard library

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