Explore projects
-
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
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 -
Updated
-
-
-
-
Libraries to read and write FlatCurry programs with type annotations
Updated -