Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The Curry frontend
-
This package provides an interface to SAT solvers supporting the DIMACS format.
-
Tools for Curry that are used in PAKCS and KiCS2
-
-
KiCS2: The Kiel Curry System v.2
-
Curry Concolic Testing Interpreter
-
Library for programming with sockets
-
Library for pseudo-random number generation
-
A partial evaluator for Curry (without sharing)
-
Representation and generation of Ninja files
-
Generic intermediate format for compiling Curry to imperative languages
-
Libraries implementing red-black trees for tables and sets
-
A tool to check the formatting style of Curry programs
-
-
Utilities for sending emails
-
Comparison of Haskell effect libraries for the Master's Project in SS 2020.
-
-
Backup repository for the "Advanced Programming" course.
-
Libraries for XML processing
-
Libraries to deal with FlatCurry programs