An IDE development course project: a miniKanren IDE plugin in C#
-
Updated
May 11, 2020 - C#
#
minikanren
Here are 44 public repositories matching this topic...
Valuable code and experiments about the book "The Reasoned Schemer"
-
Updated
Jun 2, 2021 - Racket
Symbolic mathematics for Bayesian modeling in PyMC3 and Theano
-
Updated
Feb 22, 2019 - Python
A minikanren implementation in Nim(skull)
-
Updated
Aug 12, 2024 - Nim
FullStack Next Generation Web App
javascript
java
clojure
immutable
sql
clojurescript
reactjs
minikanren
datalog
xmonad
cps
fullstack
datomic
-
Updated
Aug 20, 2017
Experiments fooling around with relational interpretation - run a subset of clojure backwards
-
Updated
Dec 8, 2017 - Clojure
μKanren in Haskell 98
-
Updated
Jan 9, 2022 - Haskell
Minikanren implemented in dart language based on logic.js repository.
-
Updated
May 28, 2019 - Dart
Kanren(s) embedded in OCaml for logic programming
-
Updated
Aug 2, 2021 - OCaml
A quick implementation of miniKanren in CL
-
Updated
Sep 28, 2022 - Common Lisp
Kanrenmō - miniKanren for .NET
-
Updated
Sep 18, 2021 - C#
An implementation of miniKanren in Typed Racket.
-
Updated
May 3, 2021 - Racket
Improve this page
Add a description, image, and links to the minikanren topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minikanren topic, visit your repo's landing page and select "manage topics."