Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
GnuPG public keys for PS-IfI developers and the PS-IfI archive
-
-
-
The Concurrent Haskell Debugger
-
Automatic testing framework for Play web applications written in Scala
-
Fork of the holumbus framework
-
First version of KiCS, the Curry –> Haskell Compiler
-
The Curry Report
-
The sources of the tutorial on Curry.
-
PAKCS: The Portland Aachen Kiel Curry System
-
A web-based editor and browser for small programs.
-
Curr(y)gle Curry API search
-
KiCS2: The Kiel Curry System v.2
-
Basic Curry modules for the frontend
-
The Curry frontend
-
The library folders, with separate branches for kics2, pakcs and the common libraries
-
Tools for Curry that are used in PAKCS and KiCS2
-
KiCS2: The Kiel Curry System v.2
-
Basic Curry modules for the frontend
-
The Curry frontend