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 -
projekte / chd
The Concurrent Haskell Debugger
0updated -
projekte / play-autotest
Automatic testing framework for Play web applications written in Scala
0updated -
curry / kics
First version of KiCS, the Curry –> Haskell Compiler
0updated -
Finn Teegen / curry-libs
The library folders, with separate branches for kics2, pakcs and the common libraries
0updated -
Finn Teegen / curry-tools
Tools for Curry that are used in PAKCS and KiCS2
0updated -
apps / smap
A web-based editor and browser for small programs.
0updated -
Finn Teegen / curry-base-old
Basic Curry modules for the frontend
0updated -
Finn Teegen / curry-frontend-old
The Curry frontend
0updated -
Sandra Dylus / kics2
KiCS2: The Kiel Curry System v.2
0updated -
Sandra Dylus / curry-frontend
The Curry frontend
0updated -
Jonas Oberschweiber / json
A JSON library for Curry
0updated -
Finn Teegen / kics2
KiCS2: The Kiel Curry System v.2
0updated -
Jonas Oberschweiber / det-parse
Deterministic parser combinators
0updated -
Jonas Oberschweiber / opt-parse
An option parser for Curry
0updated -
Jonas Oberschweiber / boxes
A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey
0updated -
Jonas Oberschweiber / cpm-perf-test-data
Performance test data for the Curry package manager. Extracted from the npm registry.
0updated -
Jonas Oberschweiber / curry-tools
Tools for Curry that are used in PAKCS and KiCS2
0updated -
Mike Gabriel / pakcs
PAKCS: The Portland Aachen Kiel Curry System
0updated -
curry / curry-frontend-all
Curry Front End (Bundle Repository)
0updated