Skip to content
@curry-language

The Curry Programming Language

A Truly Integrated Functional Logic Programming Language
README.md

About curry-language

The organization curry-language manages various repositories to support programming and software development with the multi-paradigm declarative language Curry.

Currently, it contains the Curry implementations KiCS2 and Curry2Go as well as the implementation of Masala, the web-based repository of Curry packages, and various tools used in Curry's website.

Note that the implementation of popular Curry system PAKCS can be found in the PAKCS repository.

Popular repositories Loading

  1. curry2go curry2go Public

    A compiler and run-time system to compile and run Curry programs as Go programs

    Curry 35 1

  2. kics2 kics2 Public

    An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs

    Curry 11

  3. masala masala Public

    Implementation of Masala, the web-based repository of Curry packages

    Curry 6

  4. curry-info-system curry-info-system Public

    A tool to manage analysis and verification information about Curry packages

    Curry 3

  5. .github .github Public

    General information about the organization `curry-language`

  6. icurry_web icurry_web Public

    Web interface to visualize Curry computations based in ICurry

    Python

Repositories

Showing 10 of 10 repositories

Top languages

Loading…

Most used topics

Loading…