microkanren

There are 0 repository under microkanren topic.

• ekzhang / ukanren-rs

  Rust implementation of µKanren, a featherweight relational programming language.

  functional-programminglanguagelogic-programmingmicrokanrenminikanrenprologrust
  Language:Rust 106

• StrykerKKD / Logical

  Minimalistic logic programming framework

  logic-programmingmicrokanrenocaml
  Language:OCaml 22

• the-language / zKanren

  zKanren

  minikanrenmicrokanrenracketracket-languageschemescheme-librarylisplisp-library
  Language:Racket 12

• ethframe / microkanren

  microKanren in python

  pythonmicrokanrenminikanrenlogical-programmingrelational-programmingpython-3
  Language:Python 9

• massimo-nocentini / microkanrenpy

  A Pythonic implementation of *microkanren* logic language

  microkanrenminikanrenlogic-programmingpython3
  Language:Python 9

• xieyuheng / exo

  logic programming in elixir

  logic-programmingelixirminikanrenmicrokanrenthe-reasoned-schemer
  Language:Elixir 9

• dvberkel / microKanren

  An Elm implementation of the μKanren language.

  elmmicrokanren
  Language:Elm 5

• arsalan0c / kanren

  Kanren(s) embedded in OCaml for logic programming

  logic-programminglogicrelationskanrenmicrokanrenminikanrenocaml
  Language:OCaml 4

• Erik-J-D / microKanren

  The implementation of microKanren, updated for racket

  logic-programmingmicrokanrenracketrelational-proscheme
  Language:Racket 3

• fsestini / mu-kanren

  Haskell implementation of the μKanren logic programming language.

  logic-programmingmicrokanrenhaskellkanren
  Language:Haskell 3

• brandonwillard / hypoKanren

  A microKanren implementation in Hy with constraints

  hymicrokanrenconstraint-programminglogic-programmingrelational-programming
  Language:Hy 2

• jtfmumm / microkanren-pony

  A Pony implementation of μKanren

  microkanrenkanrenlogic-programmingpony-language
  Language:Pony 2

• jtfmumm / pony-logic

  Logic programming for Pony (based on μKanren)

  pony-languagemicrokanrenkanrenlogic-programming
  Language:Pony 2

• Smaug123 / FicroKanSharp

  A microKanren implementation in F#

  microkanrenfsharp
  Language:F# 2

• ashton314 / microKanren

  My implementation of μKanren

  racketkanrenmicrokanrenlogic-programming
  Language:Racket 1

• jasonhemann / tfp-2023

  tfp-version-of-conj-disj

  conjunctiondisjunctionmicrokanrenminikanren
  Language:TeX 1

• xavierpinho / microKanren-demo

  μKanren in Haskell 98

  microkanrenminikanrenrelational-programminglogic-programming
  Language:Haskell 1