Explore projects
-
Updated
-
Updated
-
Libraries to deal with AbstractCurry programs
Updated -
Libraries to represent Haskell programs in Curry
Updated -
A tool to add missing type signatures to top-level operations in a Curry module
Updated -
-
Backup repository for the "Advanced Programming" course.
Updated -
Libraries with operations to strongly encapsulate non-deterministic computations
Updated -
Library supporting formatted output on terminals
Updated -
An implementation of arrays with Braun trees
Updated -
Library to deal with a global association between strings
Updated -
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
Updated
-
Updated
-
Base libraries for Curry systems
Updated -
A tool to support executable benchmark papers
Updated -
Library to support reading/writing binary data
Updated -
Updated
-
A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey
Updated -