Explore projects
-
Updated
-
Jan Reese / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
Updated -
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 -
Updated
-
Updated
-
packaging / psifi-keyring
GNU General Public License v2.0 or laterGnuPG public keys for PS-IfI developers and the PS-IfI archive
Updated -
curry-packages / dsdcurry
BSD 3-Clause "New" or "Revised" LicenseA tool for declarative software development
Updated -
Marcellus Siegburg / hpsv
MIT LicenseUpdated -
packaging / fusiondirectory-hooks
GNU General Public License v2.0 or laterUser- and host creation/removal hook scripts for FusionDirectory
Updated -
-
Jan Path / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
-
-
-
curry-packages / ui
BSD 3-Clause "New" or "Revised" LicenseLibraries to implement declarative user interfaces
Updated -
curry-packages / searchtree-unsafe
BSD 3-Clause "New" or "Revised" LicenseLibrary to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free
Updated -
curry-packages / ccti
BSD 3-Clause "New" or "Revised" LicenseCurry Concolic Testing Interpreter
Updated