Skip to content
Change the repository type filter

All

    Repositories list

    • The website of the functional logic programming language Curry
      HTML
      0000Updated Dec 19, 2025Dec 19, 2025
    • kics2

      Public
      An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
      Curry
      01400Updated Dec 15, 2025Dec 15, 2025
    • A tool to manage analysis and verification information about Curry packages
      Curry
      0300Updated Dec 8, 2025Dec 8, 2025
    • masala

      Public
      Implementation of Masala, the web-based repository of Curry packages
      Curry
      0600Updated Nov 3, 2025Nov 3, 2025
    • curry2go

      Public
      A compiler and run-time system to compile and run Curry programs as Go programs
      Curry
      13800Updated Oct 30, 2025Oct 30, 2025
    • currygle

      Public
      A search engine for entities in Curry packages
      Curry
      0100Updated Oct 11, 2025Oct 11, 2025
    • tutorial

      Public
      The sources of the tutorial on Curry.
      TeX
      0000Updated Jun 24, 2025Jun 24, 2025
    • report

      Public
      Report on the multi-paradigm declarative language Curry
      TeX
      0000Updated May 25, 2025May 25, 2025
    • .github

      Public
      General information about the organization `curry-language`
      0000Updated May 24, 2025May 24, 2025
    • Web interface to visualize Curry computations based in ICurry
      Python
      0000Updated May 6, 2025May 6, 2025