https://github.com/namin/metamk

Meta-Interpreters in miniKanren
https://github.com/namin/metamk

logic-programming meta metaprogramming minikanren reflection scheme

Last synced: 9 days ago
JSON representation

Meta-Interpreters in miniKanren

• Host: GitHub
• URL: https://github.com/namin/metamk
• Owner: namin
• Created: 2013-12-04T18:33:45.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2023-08-27T10:13:47.000Z (over 1 year ago)
• Last Synced: 2024-12-24T02:50:01.235Z (10 days ago)
• Topics: logic-programming, meta, metaprogramming, minikanren, reflection, scheme
• Language: Scheme
• Size: 1.37 MB
• Stars: 31
• Watchers: 4
• Forks: 4
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project

• awesome-racket-and-scheme - metamk - Interpreters in miniKanren (Scheme / course)