Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Support for CGI programming in HTML libraries
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
Generic intermediate format for compiling Curry to imperative languages
-
A web-based editor and browser for small programs.
-
-
Package containing utility operations to invert functions
-
Utilities for sending emails
-
Comparison of Haskell effect libraries for the Master's Project in SS 2020.
-
-
Backup repository for the "Advanced Programming" course.
-
Tools for Curry that are used in PAKCS and KiCS2
-
Libraries for XML processing
-
A tool to reduce the size of FlatCurry programs
-
Linearity optimizer for functional patterns and non-strict unification
-
User- and host creation/removal hook scripts for FusionDirectory
-
-
-
Libraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.
-
A Curry Program Coverage tool