Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
curry-packages / benchmark-papers
A tool to support executable benchmark papers
-
curry-packages / html
Libraries for HTML programming
0updated -
curry-packages / profiling-pakcs
Library to access profile data of the back-end Prolog system of PAKCS
-
curry-packages / profiling
Library to access profile data of the back-end Prolog system of PAKCS
-
curry-packages / plural-arguments
A tool to implement plural arguments in a Curry program
0updated -
curry-packages / setfunctions
Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner
0updated -
curry-packages / searchtree-unsafe
Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free
0updated -
curry-packages / searchtree
Library with to represent strongly encapsulated non-deterministic computations as a search tree
0updated -
curry-packages / currydoc
A documentation generator for Curry
0updated -
curry-packages / traversal
Library to support lightweight generic traversals through tree-structured data
-
curry-packages / combinatorial
A collection of common non-deterministic and/or combinatorial operations
-
curry-packages / currypp
The standard preprocessor of Curry
1updated -
curry-packages / ccti
Curry Concolic Testing Interpreter
0updated -
curry-packages / graph-inductive
Library for inductive graphs
-
curry-packages / ertools
Tools for database applications specified by entity-relationship diagrams (ERDs)
0updated -
curry-packages / smtlib
Implementation of the SMT-LIB standard for Curry
-
curry-packages / flatcurry-annotated
Libraries to represent FlatCurry programs with arbitrary annotations
0updated -
curry-packages / rewriting
Libraries for term rewriting and narrowing
1updated -
curry-packages / cass
The Curry Analysis Server System
0updated -
0updated