Explore projects
-
-
curry-packages / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
Updated -
curry-packages / cpns
BSD 3-Clause "New" or "Revised" LicenseCurry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names
Updated -
curry-packages / frontend-exec
BSD 3-Clause "New" or "Revised" LicenseOperations to execute the front end of the Curry system
Updated -
curry-packages / flatcurry-typed
BSD 3-Clause "New" or "Revised" LicenseA curry libary to read the TypedFlatCurry format (*.tfcy) and convert it to AnnotatedFlatCurry (see flatcurry-annotated package)
Updated -
curry-packages / wl-pprint
BSD 3-Clause "New" or "Revised" LicensePretty printing combinators for Curry (inspired by Leijen's library for Haskell)
Updated -
curry-packages / extra
BSD 3-Clause "New" or "Revised" LicenseGeneral utility functions and useful additions to the standard library
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 -
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
Updated -
-
curry / kics
BSD 3-Clause "New" or "Revised" LicenseFirst version of KiCS, the Curry –> Haskell Compiler
Updated -
-
Automatic testing framework for Play web applications written in Scala
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 / queue
BSD 3-Clause "New" or "Revised" LicenseLibrary with double-ended queues supporting access at both ends in constant amortized time
Updated -
curry-packages / ansi-terminal
BSD 3-Clause "New" or "Revised" LicenseLibrary supporting formatted output on terminals
Updated