Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
The Mercury logic programming system.
Automated testing of Mercury ROTDs
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
The atomic_ops project (Atomic memory update operations portable implementation)
Copies of outside papers which are relevant to the implementation of the Mercury system.
Notes from meetings discussions and regarding ideas.