Explore projects
-
curry-packages / prolog
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Prolog programs in Curry
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated -
curry-packages / rewriting
BSD 3-Clause "New" or "Revised" LicenseLibraries for term rewriting and narrowing
Updated -
curry-packages / cass-analysis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Marcellus Siegburg / hpsv
MIT LicenseUpdated -
Updated -
curry-packages / peano
BSD 3-Clause "New" or "Revised" LicenseLibrary defining natural numbers in Peano representation
Updated -
Jan Reese / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
Updated -
curry-packages / benchmark-papers
BSD 3-Clause "New" or "Revised" LicenseA tool to support executable benchmark papers
Updated -
-
A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey
Updated -
-
curry-packages / html-cgi
BSD 3-Clause "New" or "Revised" LicenseSupport for CGI programming in HTML libraries
Updated -
curry-packages / smtlib
BSD 3-Clause "New" or "Revised" LicenseImplementation of the SMT-LIB standard for Curry
Updated -
curry-packages / db-pakcs
BSD 3-Clause "New" or "Revised" LicenseOld database libraries for PAKCS (deprecated)
Updated -
-
-
Finn Teegen / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
Updated