Explore projects
-
Updated
-
-
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
Updated
-
Updated
-
A tool to verify properties of Curry programs (contracts, non-failing)
Updated -
Libraries with operations to strongly encapsulate non-deterministic computations
Updated -
-
-
A compiler and run-time system to compile and run Curry programs as Go programs
Updated -
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
Libraries for HTML programming with event-handler-based form processing
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Generic intermediate format for compiling Curry to imperative languages
Updated -
-
Some auxiliaries used by the Curry preprocessor to check contracts
Updated