Skip to content
@Mercury-Language

Mercury Programming Language

Mercury is a logic/functional programming language.

Popular repositories Loading

  1. mercury mercury Public

    The Mercury logic programming system.

    Mercury 929 56

  2. books books Public

    TeX 13 3

  3. packaging packaging Public

    Packaging scripts

    Shell 9 3

  4. mercury_outside_papers mercury_outside_papers Public

    Copies of outside papers which are relevant to the implementation of the Mercury system.

    8

  5. mercury-srcdist mercury-srcdist Public

    Mercury source distribution

    5

  6. www www Public

    Mercury website

    HTML 4 6

Repositories

Showing 10 of 10 repositories
  • mercury-srcdist Public

    Mercury source distribution

    5 0 0 0 Updated Feb 15, 2025
  • mercury Public

    The Mercury logic programming system.

    Mercury 929 56 21 5 Updated Feb 14, 2025
  • www Public

    Mercury website

    HTML 4 6 3 1 Updated Feb 4, 2025
  • testing Public

    Automated testing of Mercury ROTDs

    Shell 1 BSD-2-Clause 0 0 0 Updated Oct 14, 2024
  • bdwgc Public Forked from ivmai/bdwgc

    The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)

    C 1 458 0 0 Updated Sep 24, 2024
  • libatomic_ops Public Forked from ivmai/libatomic_ops

    The atomic_ops project (Atomic memory update operations portable implementation)

    C 0 GPL-2.0 113 0 0 Updated Sep 24, 2024
  • packaging Public

    Packaging scripts

    Shell 9 3 8 0 Updated Jul 18, 2024
  • books Public
    TeX 13 3 0 1 Updated Oct 11, 2023
  • mercury_outside_papers Public

    Copies of outside papers which are relevant to the implementation of the Mercury system.

    8 0 0 0 Updated Feb 26, 2016
  • discussions Public

    Notes from meetings discussions and regarding ideas.

    3 0 0 0 Updated Oct 23, 2013