Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Libraries to deal with AbstractCurry programs
-
Libraries to represent Haskell programs in Curry
-
A tool to add missing type signatures to top-level operations in a Curry module
-
Some hints and scripts for package administration
-
Backup repository for the "Advanced Programming" course.
-
Library supporting formatted output on terminals
-
An implementation of arrays with Braun trees
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
-
-
Base libraries for Curry systems
-
A tool to support executable benchmark papers
-
Library to support reading/writing binary data
-
-
A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey
-
A Pretty Printer for Two Dimensions
-
Libraries to support a bi-directional transformation between BPMN and BPEL
-
A call-pattern analysis and transformation tool to improve lazy non-deterministic computations
-
A style checker for Curry programs