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 914 55

  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 Public

    The Mercury logic programming system.

    Mercury-Language/mercury’s past year of commit activity
    Mercury 914 55 20 5 Updated Dec 15, 2024
  • mercury-srcdist Public

    Mercury source distribution

    Mercury-Language/mercury-srcdist’s past year of commit activity
    5 0 0 0 Updated Dec 14, 2024
  • testing Public

    Automated testing of Mercury ROTDs

    Mercury-Language/testing’s past year of commit activity
    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)

    Mercury-Language/bdwgc’s past year of commit activity
    C 1 456 0 0 Updated Sep 24, 2024
  • libatomic_ops Public Forked from ivmai/libatomic_ops

    The atomic_ops project (Atomic memory update operations portable implementation)

    Mercury-Language/libatomic_ops’s past year of commit activity
    C 0 GPL-2.0 113 0 0 Updated Sep 24, 2024
  • packaging Public

    Packaging scripts

    Mercury-Language/packaging’s past year of commit activity
    Shell 9 3 8 0 Updated Jul 18, 2024
  • www Public

    Mercury website

    Mercury-Language/www’s past year of commit activity
    HTML 4 6 3 1 Updated Jun 24, 2024
  • books Public
    Mercury-Language/books’s past year of commit activity
    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.

    Mercury-Language/mercury_outside_papers’s past year of commit activity
    8 0 0 0 Updated Feb 26, 2016
  • discussions Public

    Notes from meetings discussions and regarding ideas.

    Mercury-Language/discussions’s past year of commit activity
    3 0 0 0 Updated Oct 23, 2013

Top languages

Loading…

Most used topics

Loading…