Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
The central repository index of CPM
-
Operations to execute the front end of the Curry system
-
Generic intermediate format for compiling Curry to imperative languages
-
Seminar paper on Selective Applicative Functors
-
A tool to optimize contracts in FlatCurry programs by proving contracts
-
A tool to verify whether a Curry program executes without failures
-
Libraries for HTML programming with event-handler-based form processing
-
A web-based editor and browser for small programs.
-
The Spicey web framework for Curry
-
Libraries to process markdown documents
-
-
Basic Curry modules for the frontend
-
The Curry frontend
-
Possible topics for the (masters') seminar.
-
Themenvorschläge für Bachelor- und Masterarbeiten in der AG Programmiersprachen und Übersetzerkonstruktion
-
Libraries to represent FlatCurry programs with arbitrary annotations
-
Libraries to deal with FlatCurry programs
-
KiCS2: The Kiel Curry System v.2
-
Comparison of Haskell effect libraries for the Master's Project in SS 2020.