Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
An Advanced Command Line Parser for Curry
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
The Curry frontend
-
Libraries for HTML programming with event-handler-based form processing
-
KiCS2: The Kiel Curry System v.2
-
-
A JSON library for Curry
-
The Curry frontend
-
Basic Curry modules for the frontend
-
Tools for Curry that are used in PAKCS and KiCS2
-
The library folders, with separate branches for kics2, pakcs and the common libraries
-
The Curry frontend
-
Basic Curry modules for the frontend
-
KiCS2: The Kiel Curry System v.2
-
Library supporting formatted output on terminals
-
Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free
-
This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.
-
Libraries to deal with AbstractCurry programs
-
QuickCheck tests for exercises
-
Some hints and scripts for package administration