Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
The Spicey web framework for Curry
Updated -
-
-
The Curry Analysis Server System
Updated -
Updated
-
-
-
Updated
-
Updated
-
Operations to deal with Curry module names and paths
Updated -
The base libraries of PAKCS and KiCS2 (fork)
Updated -
The base libraries of Curry distributions, like PAKCS or KiCS2
Updated -
-
A universal REPL which can be used on top of a Curry compiler
Updated -
-
Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner
Updated -
A compiler and run-time system to compile and run Curry programs as Go programs
Updated -
Updated
-
Library with to represent strongly encapsulated non-deterministic computations as a search tree
Updated