Explore projects
-
curry-packages / ertools
BSD 3-Clause "New" or "Revised" LicenseTools for database applications specified by entity-relationship diagrams (ERDs)
Updated -
curry-packages / cass
BSD 3-Clause "New" or "Revised" LicenseThe Curry Analysis Server System
Updated -
curry-packages / cass-analysis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / cpm-manage
BSD 3-Clause "New" or "Revised" LicenseSimple management functions for the Curry Package Manager
Updated -
-
curry-packages / binint
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / xmldata
BSD 3-Clause "New" or "Revised" LicenseA tool to generate conversion functions between Curry data types and XML representations
Updated -
curry-packages / makefile
BSD 3-Clause "New" or "Revised" LicenseA tool to generate a makefile for a Curry application
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 -
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 / smtlib-solver
BSD 3-Clause "New" or "Revised" LicenseThis package provides general operations for an interactive communication with SMT solvers via stdin and stdout.
Updated