Explore projects
-
A tool to generate conversion functions between Curry data types and XML representations
Updated -
-
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
Libraries to support the type-oriented construction of web user interfaces
Updated -
Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)
Updated -
Updated
-
-
-
-
-
Library to support lightweight generic traversals through tree-structured data
Updated -
Updated
-
A transformation tool to replace Boolean equalities by equational constraints
Updated -
Updated
-
-
-
-
-