Explore projects

Masala: The Repository of Curry Packages

Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung

A tool to verify properties of Curry programs (contracts, non-failing)

Libraries with operations to strongly encapsulate non-deterministic computations

A universal REPL which can be used on top of a Curry compiler

Library for handling global entities in programs

A compiler and run-time system to compile and run Curry programs as Go programs

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

Libraries for HTML programming with event-handler-based form processing

Generic intermediate format for compiling Curry to imperative languages

Library defining natural numbers in Peano representation

Some auxiliaries used by the Curry preprocessor to check contracts