Explore projects
-
-
Jasper Paul Sikorra / ecmascript
BSD 3-Clause "New" or "Revised" LicenseAn ECMAScript library for Curry
Updated -
curry-packages / call-analysis
BSD 3-Clause "New" or "Revised" LicenseA call-pattern analysis and transformation tool to improve lazy non-deterministic computations
Updated -
curry-packages / dsdcurry
BSD 3-Clause "New" or "Revised" LicenseA tool for declarative software development
Updated -
curry-packages / coosy
BSD 3-Clause "New" or "Revised" LicenseCOOSy: A tool to observe functional logic computations
Updated -
curry-packages / ui
BSD 3-Clause "New" or "Revised" LicenseLibraries to implement declarative user interfaces
Updated -
curry-packages / benchmark-papers
BSD 3-Clause "New" or "Revised" LicenseA tool to support executable benchmark papers
Updated -
curry-packages / clpbool
BSD 3-Clause "New" or "Revised" LicenseA library with a Boolean Constraint Solver based on BDDs.
Updated -
curry-packages / chr-curry
BSD 3-Clause "New" or "Revised" LicenseA library to implement Constraint Handling Rules in Curry
Updated -
curry-packages / clpfd-smt
BSD 3-Clause "New" or "Revised" LicenseLibraries for finite domain constraint programming with SMT solvers
Updated -
curry-packages / plural-arguments
BSD 3-Clause "New" or "Revised" LicenseA tool to implement plural arguments in a Curry program
Updated -
-
curry-packages / runcurry
BSD 3-Clause "New" or "Revised" LicenseImplementation of command "runcurry"
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 -
-