Explore GitLab
Discover projects, groups and snippets. Share your projects with others

currypackages / benchmarkpapers
A tool to support executable benchmark papers

currypackages / html
Libraries for HTML programming
0updated 
currypackages / profilingpakcs
Library to access profile data of the backend Prolog system of PAKCS

currypackages / profiling
Library to access profile data of the backend Prolog system of PAKCS

currypackages / pluralarguments
A tool to implement plural arguments in a Curry program
0updated 
currypackages / setfunctions
Implementation of set functions to encapsulate nondeterministic computations in a strategy independent manner
0updated 
currypackages / searchtreeunsafe
Library to represent strongly encapsulated nondeterministic computations as a search tree where local unbound variables remain free
0updated 
currypackages / searchtree
Library with to represent strongly encapsulated nondeterministic computations as a search tree
0updated 
currypackages / currydoc
A documentation generator for Curry
0updated 
currypackages / traversal
Library to support lightweight generic traversals through treestructured data

currypackages / combinatorial
A collection of common nondeterministic and/or combinatorial operations

currypackages / currypp
The standard preprocessor of Curry
1updated 
currypackages / ccti
Curry Concolic Testing Interpreter
0updated 
currypackages / graphinductive
Library for inductive graphs

currypackages / ertools
Tools for database applications specified by entityrelationship diagrams (ERDs)
0updated 
currypackages / smtlib
Implementation of the SMTLIB standard for Curry

currypackages / flatcurryannotated
Libraries to represent FlatCurry programs with arbitrary annotations
0updated 
currypackages / rewriting
Libraries for term rewriting and narrowing
1updated 
currypackages / cass
The Curry Analysis Server System
0updated 
0updated