Giters
Mercury Programming Language (Mercury-Language)

Mercury-Language

Geek Repo

0

followers

0

following

0

stars

Home Page:http://www.mercurylang.org

Github PK Tool:Github PK Tool

Mercury Programming Language's repositories

mercury

The Mercury logic programming system.

Language:MercuryLicense:NOASSERTIONStargazers:878Issues:38Issues:69

books

Language:TeXStargazers:12Issues:10Issues:0

packaging

Packaging scripts

Language:ShellStargazers:9Issues:8Issues:12

mercury_outside_papers

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

Stargazers:7Issues:9Issues:0

mercury-srcdist

Mercury source distribution

Stargazers:5Issues:0Issues:0

www

Mercury website

Language:HTMLStargazers:4Issues:7Issues:5

discussions

Notes from meetings discussions and regarding ideas.

Stargazers:3Issues:8Issues:0

bdwgc

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

Language:CStargazers:1Issues:0Issues:0

testing

Automated testing of Mercury ROTDs

Language:ShellLicense:BSD-2-ClauseStargazers:1Issues:7Issues:0

libatomic_ops

The atomic_ops project (Atomic memory update operations portable implementation)

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0