Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
packaging / psifi-keyring
GnuPG public keys for PS-IfI developers and the PS-IfI archive
0updated -
0updated
-
projekte / chd
The Concurrent Haskell Debugger
0updated -
projekte / play-autotest
Automatic testing framework for Play web applications written in Scala
0updated -
projekte / holumbus
Fork of the holumbus framework
0updated -
curry / kics
First version of KiCS, the Curry –> Haskell Compiler
0updated -
curry / report
The Curry Report
1updated -
curry / tutorial
The sources of the tutorial on Curry.
1updated -
curry / pakcs
PAKCS: The Portland Aachen Kiel Curry System
1updated -
apps / smap
A web-based editor and browser for small programs.
0updated -
apps / currygle
Curr(y)gle Curry API search
0updated -
curry / kics2
KiCS2: The Kiel Curry System v.2
0updated -
curry / curry-base
Basic Curry modules for the frontend
1updated -
curry / curry-frontend
The Curry frontend
1updated -
curry / curry-libs
The library folders, with separate branches for kics2, pakcs and the common libraries
0updated -
curry / curry-tools
Tools for Curry that are used in PAKCS and KiCS2
0updated -
Finn Teegen / kics2
KiCS2: The Kiel Curry System v.2
0updated -
Finn Teegen / curry-base-old
Basic Curry modules for the frontend
0updated -
Finn Teegen / curry-frontend-old
The Curry frontend
0updated -
Finn Teegen / curry-libs
The library folders, with separate branches for kics2, pakcs and the common libraries
0updated