Explore projects
-
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
theses / 2020 / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / abstract-curry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with AbstractCurry programs
Updated -
curry-packages / abstract-haskell
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Haskell programs in Curry
Updated -
curry-packages / addtypes
BSD 3-Clause "New" or "Revised" LicenseA tool to add missing type signatures to top-level operations in a Curry module
Updated -
-
Backup repository for the "Advanced Programming" course.
Updated -
curry-packages / allvalues
BSD 3-Clause "New" or "Revised" LicenseLibraries with operations to strongly encapsulate non-deterministic computations
Updated -
curry-packages / ansi-terminal
BSD 3-Clause "New" or "Revised" LicenseLibrary supporting formatted output on terminals
Updated -
curry-packages / array
BSD 3-Clause "New" or "Revised" LicenseAn implementation of arrays with Braun trees
Updated -
curry-packages / assoc-legacy
BSD 3-Clause "New" or "Revised" LicenseLibrary to deal with a global association between strings
Updated -
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
Updated
-
Updated
-
curry-packages / base
BSD 3-Clause "New" or "Revised" LicenseBase libraries for Curry systems
Updated -
curry-packages / benchmark-papers
BSD 3-Clause "New" or "Revised" LicenseA tool to support executable benchmark papers
Updated -
curry-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
curry-packages / binint
BSD 3-Clause "New" or "Revised" LicenseUpdated -
A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey
Updated -