kanren

There are 0 repository under kanren topic.

• mdiep / Logician

  Logic programming in Swift

  swiftkanrenlogic-programmingsolverconstraints
  Language:Swift 194

• tgecho / canrun_rs

  A Rust logic programming library inspired by the *Kanren family of language DSLs.

  dslkanrenlogicrust
  Language:Rust 51

• rntz / minikanren-datalog

  Datalog implemented in minikanren

  datalogminikanrenlogic-programmingkanren
  Language:Scheme 24

• mdiep / Kanren.swift

  Logic programming in Swift

  kanrenlogic-programmingswift
  Language:Swift 12

• chalcolith / pony-kanren

  An implementation of microKanren for Pony.

  kanrenlogic-programmingpony-languageponylang
  Language:Pony 7

• arsalan0c / kanren

  Kanren(s) embedded in OCaml for logic programming

  logic-programminglogicrelationskanrenmicrokanrenminikanrenocaml
  Language:OCaml 4

• arsalan0c / pflp-ml

  Probabilistic functional logic language embedded in OCaml

  functional-logickanrenprobabilistic-programming
  Language:OCaml 3

• fsestini / mu-kanren

  Haskell implementation of the μKanren logic programming language.

  logic-programmingmicrokanrenhaskellkanren
  Language:Haskell 3

• kyagrd / houkanren

  Higher-Order twist to MicroKanren

  haskellkanrenlogic-programming
  Language:Haskell 3

• 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

• ashton314 / microKanren

  My implementation of μKanren

  racketkanrenmicrokanrenlogic-programming
  Language:Racket 1

• pmeinhardt / atto

  experimenting with µ-kanren & relational programming 🔬

  kanrenprogramming-languagerelational
  Language:JavaScript 1