silentbicycle / lua-ukanren
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
- Another implemention fo miniKanren in Lua☆24Updated 5 years ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆16Updated 8 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 8 years ago
- Binding for GNU MP v5.1.2☆11Updated 10 years ago
- LuaJIT General Purpose Routines☆15Updated 4 years ago
- Generally applicable Terra utilities.☆15Updated 10 years ago
- zile (emacs clone in lua) using luajit ffi for curses, posix, etc.☆22Updated 14 years ago
- Communicating Sequential Processes in Lua☆38Updated 2 years ago
- Scheme (dialect) to Lua compiler☆23Updated 7 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆36Updated 7 years ago
- OO language targetting Lua☆50Updated 11 years ago
- Functional iterators for Lua based on coroutines☆18Updated 5 years ago
- OMeta for Lua☆13Updated 4 years ago
- Leg is a Lua library which offers a complete Lua 5.1 grammar, along with some functions to use and modify it.☆20Updated 6 years ago
- Functional Experiments in Lua☆9Updated 4 years ago
- Binary decision diagram library (Lua)☆16Updated 9 years ago
- ☆22Updated 8 years ago
- Lua sljit library☆10Updated 9 years ago
- Syntax extensions to LuaJIT for scientific computing☆15Updated 5 years ago
- Simple Scheme interpreter written in Lua☆39Updated 12 years ago
- LPEG-based Lua macros☆14Updated 14 years ago
- LuaJIT + TCC on RPi bare metal☆20Updated 8 years ago
- Extended PEG Notation Format (easy grammars for LPeg)☆25Updated last year
- single-executable app deployment for LuaJIT☆37Updated 3 years ago
- mirror of tinyscheme interpreter and extensions☆14Updated 13 years ago
- Lua Graphics Toolkit☆47Updated last year
- MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…☆70Updated 6 years ago
- A parser of C headers for the Titan FFI☆16Updated 7 years ago
- Usefu Lua modules☆40Updated last month