Explore projects
-
-
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated -
Updated
-
Jasper Paul Sikorra / icurry
BSD 3-Clause "New" or "Revised" LicenseLibraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.
Updated -
-
curry-packages / bpmn2bpel
BSD 3-Clause "New" or "Revised" LicenseLibraries to support a bi-directional transformation between BPMN and BPEL
Updated -
curry-packages / regexp
BSD 3-Clause "New" or "Revised" LicenseLibrary to specify the semantics of regular expressions
Updated -
curry-packages / graph-inductive
BSD 3-Clause "New" or "Revised" LicenseLibrary for inductive graphs
Updated -
-
curry-packages / graphviz
BSD 3-Clause "New" or "Revised" LicenseLibraries to visualize graphs with Graphviz
Updated -
curry-packages / markdown
BSD 3-Clause "New" or "Revised" LicenseLibraries to process markdown documents
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