silentbicycle / lua-ukanrenLinks
Lua port of of microKanren, a minimal logic programming engine.
☆34Updated 11 years ago
Alternatives and similar repositories for lua-ukanren
Users that are interested in lua-ukanren are comparing it to the libraries listed below
Sorting:
- Another implemention fo miniKanren in Lua☆26Updated 6 years ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆16Updated 9 years ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 8 years ago
- Binary decision diagram library (Lua)☆16Updated 10 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 months ago
- Functional iterators for Lua based on coroutines☆17Updated 5 years ago
- LuaJIT General Purpose Routines☆15Updated 4 years ago
- A Lua port of the cassowary constraint solver engine☆35Updated 3 years ago
- A Lua implementation of Interval Tree Clocks☆21Updated 2 years ago
- A very simple linux kernel that boots into a luajit command line.☆65Updated last year
- Syntax extensions to LuaJIT for scientific computing☆16Updated 5 years ago
- mirror of tinyscheme interpreter and extensions☆14Updated 13 years ago
- Lua binding to ROTE, Terminal Emulation library☆23Updated 9 years ago
- Communicating Sequential Processes in Lua☆37Updated 3 years ago
- A simple isolated scheduler for LuaJit☆27Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…☆73Updated 7 years ago
- LuaJIT + TCC on RPi bare metal☆21Updated 9 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Updated 8 years ago
- Graphics math library for MoonGL☆16Updated 2 years ago
- glua = LuaJIT + FFI + OpenGL/GLUT☆46Updated 12 years ago
- Super Tiny Scheme Interpreter for Freestanding Environment☆56Updated 8 years ago
- ☆22Updated 9 years ago
- eevo - simple yet expressive high-level scripting language (formerly known as tisp)☆27Updated this week
- extend luajit ffi module to give more affinity to C codes☆60Updated 9 years ago
- A ZX Spectrum emulator written in Lua 5.3.☆28Updated 10 years ago
- Lua string patterns rewritten in Lua + FFI, for LuaJIT.☆54Updated 9 years ago
- A parser of C headers for the Titan FFI☆16Updated 8 years ago
- single-executable app deployment for LuaJIT☆37Updated 3 years ago
- Generally applicable Terra utilities.☆15Updated 10 years ago
- DynASM with Lua mode☆105Updated 6 years ago