Skip to content
@curry-packages

Packages for Curry

Packages for Curry to be managed by CPM (the Curry Package Manager)

Popular repositories Loading

  1. pflp pflp Public

    Probabilistic Functional Logic Programming

    Curry 15 1

  2. spicey spicey Public

    Curry 4 1

  3. verify-non-fail verify-non-fail Public

    A tool to verify Curry operations as non-failing

    Curry 4 2

  4. contract-prover contract-prover Public

    Curry 4 2

  5. cpm cpm Public

    The Curry Package Manager

    Curry 3 1

  6. property-prover. property-prover. Public

    Curry 3 1

Repositories

Showing 10 of 144 repositories
  • cpm Public

    The Curry Package Manager

    curry-packages/cpm’s past year of commit activity
    Curry 3 BSD-3-Clause 1 0 0 Updated Mar 3, 2025
  • currydoc Public
    curry-packages/currydoc’s past year of commit activity
    Curry 2 1 0 0 Updated Mar 3, 2025
  • curry-resources Public
    curry-packages/curry-resources’s past year of commit activity
    Curry 1 BSD-3-Clause 1 0 0 Updated Mar 2, 2025
  • curry-source Public
    curry-packages/curry-source’s past year of commit activity
    Curry 1 BSD-3-Clause 1 0 0 Updated Feb 28, 2025
  • string-trie Public
    curry-packages/string-trie’s past year of commit activity
    Curry 0 BSD-3-Clause 0 1 0 Updated Feb 28, 2025
  • cpm-query Public

    A tool to query analysis information about entities (e.g., function, types) defined in some Curry package

    curry-packages/cpm-query’s past year of commit activity
    Curry 3 BSD-3-Clause 0 0 0 Updated Feb 26, 2025
  • cpm-manage Public
    curry-packages/cpm-manage’s past year of commit activity
    Curry 1 BSD-3-Clause 1 0 0 Updated Feb 26, 2025
  • html2 Public

    Libraries for HTML programming with event-handler-based form processing

    curry-packages/html2’s past year of commit activity
    Curry 1 BSD-3-Clause 1 0 0 Updated Feb 25, 2025
  • base Public
    curry-packages/base’s past year of commit activity
    Curry 1 BSD-3-Clause 0 0 2 Updated Feb 25, 2025
  • verify-non-fail Public

    A tool to verify Curry operations as non-failing

    curry-packages/verify-non-fail’s past year of commit activity
    Curry 4 BSD-3-Clause 2 0 0 Updated Feb 24, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…