Skip to content
Change the repository type filter

All

    Repositories list

    • mercury

      Public
      The Mercury logic programming system.
      Mercury
      Other
      55919205Updated Dec 25, 2024Dec 25, 2024
    • Mercury source distribution
      0500Updated Dec 23, 2024Dec 23, 2024
    • testing

      Public
      Automated testing of Mercury ROTDs
      Shell
      BSD 2-Clause "Simplified" License
      0100Updated Oct 14, 2024Oct 14, 2024
    • bdwgc

      Public
      The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
      C
      407100Updated Sep 24, 2024Sep 24, 2024
    • The atomic_ops project (Atomic memory update operations portable implementation)
      C
      GNU General Public License v2.0
      110000Updated Sep 24, 2024Sep 24, 2024
    • packaging

      Public
      Packaging scripts
      Shell
      3980Updated Jul 18, 2024Jul 18, 2024
    • www

      Public
      Mercury website
      HTML
      6431Updated Jun 24, 2024Jun 24, 2024
    • books

      Public
      TeX
      31301Updated Oct 11, 2023Oct 11, 2023
    • Copies of outside papers which are relevant to the implementation of the Mercury system.
      0800Updated Feb 26, 2016Feb 26, 2016
    • Notes from meetings discussions and regarding ideas.
      0300Updated Oct 23, 2013Oct 23, 2013