Rust implementation of µKanren, a featherweight relational programming language.
-
Updated
Jan 1, 2023 - Rust
#
microkanren
Here are 19 public repositories matching this topic...
Minimalistic logic programming framework
-
Updated
Feb 9, 2020 - OCaml
zKanren
-
Updated
Aug 10, 2021 - Racket
logic programming in elixir
-
Updated
Nov 1, 2018 - Elixir
A Pythonic implementation of *microkanren* logic language
-
Updated
Dec 4, 2020 - Python
microKanren in python
-
Updated
Aug 18, 2020 - Python
Kanren(s) embedded in OCaml for logic programming
-
Updated
Aug 2, 2021 - OCaml
Haskell implementation of the μKanren logic programming language.
-
Updated
May 13, 2018 - Haskell
The implementation of microKanren, updated for racket
-
Updated
Nov 22, 2021 - Racket
A Pony implementation of μKanren
-
Updated
Nov 8, 2020 - Pony
A microKanren implementation in Hy with constraints
-
Updated
Mar 21, 2019 - Hy
Logic programming for Pony (based on μKanren)
-
Updated
May 9, 2017 - Pony
μKanren in Haskell 98
-
Updated
Jan 9, 2022 - Haskell
My implementation of μKanren
-
Updated
Mar 21, 2021 - Racket
A simple Lisp interpreter with full TCO and GC, from scratch, running microKanren
-
Updated
Aug 17, 2024 - Scheme
Improve this page
Add a description, image, and links to the microkanren topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the microkanren topic, visit your repo's landing page and select "manage topics."