Projects in Awesome Lists tagged with microkanren
A curated list of projects in awesome lists tagged with microkanren .
https://github.com/ekzhang/ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
functional-programming language logic-programming microkanren minikanren prolog rust
Last synced: 08 May 2025
https://github.com/strykerkkd/logical
Minimalistic logic programming framework
logic-programming microkanren ocaml
Last synced: 01 Dec 2024
https://github.com/xieyuheng/exo
logic programming in elixir
elixir logic-programming microkanren minikanren the-reasoned-schemer
Last synced: 20 Nov 2024
https://github.com/dvberkel/microkanren
An Elm implementation of the μKanren language.
Last synced: 06 Jan 2025
https://github.com/arsalan0c/kanren
Kanren(s) embedded in OCaml for logic programming
kanren logic logic-programming microkanren minikanren ocaml relations
Last synced: 07 Apr 2025
https://github.com/brandonwillard/hypokanren
A microKanren implementation in Hy with constraints
constraint-programming hy logic-programming microkanren relational-programming
Last synced: 02 Mar 2025
https://github.com/ashton314/microkanren
My implementation of μKanren
kanren logic-programming microkanren racket
Last synced: 23 Mar 2025
https://github.com/tensorush/ziggykanren-logic-language
:zap: 🎎 ZiggyKanren is an attempt of embedding miniKanren in Zig.
embedded-language embedding kanren language logic-programming microkanren minikanren programming-language zero-allocation zig ziglang
Last synced: 15 Apr 2025
https://github.com/stellartux/kanren
µKanren in under 512 bytes of JavaScript
Last synced: 28 Feb 2025
