Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
The Curry frontend
-
PAKCS: The Portland Aachen Kiel Curry System
-
KiCS2: The Kiel Curry System v.2
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
-
Seminar paper on Selective Applicative Functors
-
The central repository index of CPM
-
Simple management functions for the Curry Package Manager
-
The Spicey web framework for Curry
-
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
-
Libraries to process markdown documents
-
Possible topics for the (masters') seminar.
-
The library folders, with separate branches for kics2, pakcs and the common libraries
-
The Curry Analysis Server System
-
-
A web-based editor and browser for small programs.
-
Libraries for HTML programming with event-handler-based form processing
-
The Curry Package Manager
-
Base libraries for Curry systems
-
PAKCS: The Portland Aachen Kiel Curry System