Thanks to visit codestin.com
Credit goes to github.com

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 37 1

  2. kics2 kics2 Public

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

    Curry 12

  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. currygle currygle Public

    A search engine for entities in Curry packages

    Curry 1

  6. .github .github Public

    General information about the organization `curry-language`

Repositories

Showing 10 of 10 repositories

Top languages

Loading…

Most used topics

Loading…