https://github.com/tensorush/ziggykanren-logic-language

:zap: 🎎 ZiggyKanren is an attempt of embedding miniKanren in Zig.
https://github.com/tensorush/ziggykanren-logic-language

embedded-language embedding kanren language logic-programming microkanren minikanren programming-language zero-allocation zig ziglang

Last synced: 14 days ago
JSON representation

:zap: 🎎 ZiggyKanren is an attempt of embedding miniKanren in Zig.

• Host: GitHub
• URL: https://github.com/tensorush/ziggykanren-logic-language
• Owner: tensorush
• License: mit
• Created: 2022-06-26T20:17:54.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2023-01-08T12:25:57.000Z (almost 2 years ago)
• Last Synced: 2023-03-07T17:36:43.713Z (over 1 year ago)
• Topics: embedded-language, embedding, kanren, language, logic-programming, microkanren, minikanren, programming-language, zero-allocation, zig, ziglang
• Language: Zig
• Homepage:
• Size: 21.5 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project