https://github.com/Mercury-Language/mercury

The Mercury logic programming system.
https://github.com/Mercury-Language/mercury

Last synced: 8 months ago
JSON representation

The Mercury logic programming system.

• Host: GitHub
• URL: https://github.com/Mercury-Language/mercury
• Owner: Mercury-Language
• License: other
• Created: 2013-01-03T02:16:53.000Z (almost 13 years ago)
• Default Branch: master
• Last Pushed: 2024-10-27T23:38:59.000Z (about 1 year ago)
• Last Synced: 2024-10-29T21:54:44.218Z (about 1 year ago)
• Language: Mercury
• Size: 132 MB
• Stars: 906
• Watchers: 38
• Forks: 54
• Open Issues: 26
• Metadata Files:
  • Readme: README.AIX.md
  • Changelog: HISTORY
  • License: COPYING

Awesome Lists containing this project

• awesome-programming-languages - Mercury - Mercury is a logic/functional programming language which combines the clarity and the expressiveness of declarative programming with advanced static analysis and error detection features. (Uncategorized / Uncategorized)