Alternatives and similar repositories for lua-ukanren:

Users that are interested in lua-ukanren are comparing it to the libraries listed below

• handsomecheung / miniKanren.lua
  Another implemention fo miniKanren in Lua
  ☆24Updated 5 years ago
• pakozm / lua-faces
  Lua-FaCES is a forward chaining expert system written in Lua programming language
  ☆16Updated 8 years ago
• eugeneia / s-lua
  S-Lua, S-expressions and Macros for Lua
  ☆29Updated 7 years ago
• siffiejoe / lua-fx
  Functional Experiments in Lua
  ☆8Updated 4 years ago
• breckinloggins / vau
  A programming language
  ☆14Updated 10 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated 2 years ago
• dritchie / terra-utils
  Generally applicable Terra utilities.
  ☆15Updated 10 years ago
• silentbicycle / lua-bdd
  Binary decision diagram library (Lua)
  ☆17Updated 9 years ago
• titan-lang / c-parser
  A parser of C headers for the Titan FFI
  ☆16Updated 7 years ago
• stepelu / lua-xsys
  LuaJIT General Purpose Routines
  ☆15Updated 4 years ago
• progranet / OMeta.Lua
  OMeta for Lua
  ☆13Updated 4 years ago
• mascarenhas / luma
  LPEG-based Lua macros
  ☆14Updated 13 years ago
• helixhorned / ljclang
  A LuaJIT-based interface to libclang
  ☆21Updated last month
• stepelu / lua-sci-lang
  Syntax extensions to LuaJIT for scientific computing
  ☆15Updated 4 years ago
• Playermet / luajit-gmp
  Binding for GNU MP v5.1.2
  ☆11Updated 10 years ago
• WeirdConstructor / lal
  Scheme (dialect) to Lua compiler
  ☆23Updated 7 years ago
• violetav / lua-ffi-gen
  ☆21Updated 8 years ago
• syuu1228 / libtsm
  ☆16Updated 11 years ago
• catwell / itc.lua
  A Lua implementation of Interval Tree Clocks
  ☆21Updated 2 years ago
• jun-mizutani / ljes
  LjES : 3D framework for LuaJIT on Raspberry Pi
  ☆22Updated 7 years ago
• spc476 / lua-conmanorg
  Usefu Lua modules
  ☆40Updated 3 months ago
• aperezdc / lua-itertools
  Functional iterators for Lua based on coroutines
  ☆18Updated 4 years ago
• johnhw / luajitpi
  LuaJIT + TCC on RPi bare metal
  ☆20Updated 8 years ago
• malkia / luajit-zile
  zile (emacs clone in lua) using luajit ffi for curses, posix, etc.
  ☆22Updated 13 years ago
• mooffie / luacexplain
  Explains the output of luac.
  ☆15Updated 9 years ago
• siffiejoe / lua-luaepnf
  Extended PEG Notation Format (easy grammars for LPeg)
  ☆25Updated last year
• grrrwaaa / luaclang
  Lua loadable module providing bindings to the LLVM/Clang APIs.
  ☆45Updated 11 years ago
• franko / graph-toolkit
  Lua Graphics Toolkit
  ☆46Updated last year
• richardhundt / lupa
  OO language targetting Lua
  ☆50Updated 10 years ago
• kstep / scheme.lua
  Simple Scheme interpreter written in Lua
  ☆39Updated 11 years ago