Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
curry-packages / icurry
Generic intermediate format for compiling Curry to imperative languages
-
curry-packages / cpm-index
The central repository index of CPM
0updated -
curry-packages / ninja
Representation and generation of Ninja files
-
curry / pakcs
PAKCS: The Portland Aachen Kiel Curry System
1updated -
curry-packages / admin-packages
Some hints and scripts for package administration
-
curry-packages / cpm
The Curry Package Manager
0updated -
curry / curry-libs
The library folders, with separate branches for kics2, pakcs and the common libraries
0updated -
curry / curry-frontend
The Curry frontend
1updated -
curry / curry-base
Basic Curry modules for the frontend
1updated -
exercises / fortprog-swipl
A script to call SWI-Prolog with complete search
-
curry / kics2
KiCS2: The Kiel Curry System v.2
0updated -
-
curry-packages / base
Base libraries for Curry systems
0updated -
1updated
-
curry / curry-tools
Tools for Curry that are used in PAKCS and KiCS2
0updated -
curry-packages / peval
A partial evaluator for Curry
0updated -
curry-packages / peval-noshare
A partial evaluator for Curry (without sharing)
0updated -
curry-packages / cpns
Curry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names
0updated -
curry-packages / ui
Libraries to implement declarative user interfaces
0updated -
curry-packages / call-analysis
A call-pattern analysis and transformation tool to improve lazy non-deterministic computations
0updated
