Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
student-projects / mapro-2017-ss
Masterprojekt im Sommersemester 2017: Dr. Haskell
2updated -
curry-packages / opt-parse
An Advanced Command Line Parser for Curry
1updated -
Finn Teegen / curry-frontend
The Curry frontend
1updated -
Finn Teegen / curry-base
Basic Curry modules for the frontend
1updated -
curry / tutorial
The sources of the tutorial on Curry.
1updated -
curry / report
The Curry Report
1updated -
curry-packages / spicey
The Spicey web framework for Curry
1updated -
curry-packages / rewriting
Libraries for term rewriting and narrowing
1updated -
curry-packages / currypp
The standard preprocessor of Curry
1updated -
1updated
-
curry / curry-base
Basic Curry modules for the frontend
1updated -
curry / curry-frontend
The Curry frontend
1updated -
student-projects / bamapro-2018-ss
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
1updated -
curry / pakcs
PAKCS: The Portland Aachen Kiel Curry System
1updated -
curry-packages / socket
Library for programming with sockets
0updated -
Niels Bunkenburg / kics2
KiCS2: The Kiel Curry System v.2
0updated -
curry-packages / random
Library for pseudo-random number generation
-
curry-packages / mail-utils
Utilities for sending emails
-
curry-packages / flatcurry-compact
A tool to reduce the size of FlatCurry programs
0updated