Explore projects
-
curry-packages / inversion
BSD 3-Clause "New" or "Revised" LicensePackage containing utility operations to invert functions
Updated -
curry-packages / extra
BSD 3-Clause "New" or "Revised" LicenseGeneral utility functions and useful additions to the standard library
Updated -
curry-packages / global
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global entities in programs
Updated -
curry / curry2go
BSD 3-Clause "New" or "Revised" LicenseA compiler and run-time system to compile and run Curry programs as Go programs
Updated -
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
curry-packages / julia
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Julia programs in Curry
Updated -
theses / 2020 / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Backup repository for the "Advanced Programming" course.
Updated -
Updated
-
Jan Reese / wui2
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
This package contains libraries to exactly print a curry-ast back to its source representation.
Updated -
-
Jan Reese / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
Updated -
curry-packages / stylechecker
BSD 3-Clause "New" or "Revised" LicenseA tool to check the formatting style of Curry programs
Updated -
curry-packages / wui2
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
curry-packages / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
Updated -
curry-packages / cryptohash
BSD 3-Clause "New" or "Revised" LicenseLibrary for for simple cryptography hashing
Updated -
-
curry-packages / transformers
BSD 3-Clause "New" or "Revised" LicenseUpdated