Explore projects
-
curry-packages / clpfd-smt
BSD 3-Clause "New" or "Revised" LicenseLibraries for finite domain constraint programming with SMT solvers
Updated -
curry-packages / db-pakcs
BSD 3-Clause "New" or "Revised" LicenseOld database libraries for PAKCS (deprecated)
Updated -
-
-
curry-packages / ccti
BSD 3-Clause "New" or "Revised" LicenseCurry Concolic Testing Interpreter
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 / ui
BSD 3-Clause "New" or "Revised" LicenseLibraries to implement declarative user interfaces
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 -
-
packaging / fusiondirectory-hooks
GNU General Public License v2.0 or laterUser- and host creation/removal hook scripts for FusionDirectory
Updated -
Marcellus Siegburg / hpsv
MIT LicenseUpdated -
curry-packages / dsdcurry
BSD 3-Clause "New" or "Revised" LicenseA tool for declarative software development
Updated -
packaging / psifi-keyring
GNU General Public License v2.0 or laterGnuPG public keys for PS-IfI developers and the PS-IfI archive
Updated -
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