silentbicycle / lua-ukanren
Lua port of of microKanren, a minimal logic programming engine.
☆34Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for lua-ukanren
- 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
- S-Lua, S-expressions and Macros for Lua☆29Updated 7 years ago
- Functional Experiments in Lua☆8Updated 4 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated last year
- A parser of C headers for the Titan FFI☆15Updated 6 years ago
- Binding for GNU MP v5.1.2☆11Updated 9 years ago
- Generally applicable Terra utilities.☆15Updated 9 years ago
- Scheme (dialect) to Lua compiler☆20Updated 7 years ago
- OMeta for Lua☆13Updated 3 years ago
- Usefu Lua modules☆40Updated last week
- Experimental lightweight editor☆18Updated last year
- Lua sljit library☆10Updated 8 years ago
- Binary decision diagram library (Lua)☆17Updated 9 years ago
- LuaJIT General Purpose Routines☆15Updated 3 years ago
- Lua loadable module providing bindings to the LLVM/Clang APIs.☆44Updated 10 years ago
- zile (emacs clone in lua) using luajit ffi for curses, posix, etc.☆22Updated 13 years ago
- Lua Graphics Toolkit☆46Updated 9 months ago
- Fork of Lua 5.3 pattern matching with added features☆11Updated 6 years ago
- Communicating Sequential Processes in Lua☆38Updated 2 years ago
- ☆21Updated 8 years ago
- Deterministic cleanup of resources in Lua☆11Updated 4 years ago
- single-executable app deployment for LuaJIT☆36Updated 2 years ago
- mirror of tinyscheme interpreter and extensions☆14Updated 12 years ago
- Lua string patterns rewritten in Lua + FFI, for LuaJIT.☆54Updated 8 years ago
- Extended PEG Notation Format (easy grammars for LPeg)☆25Updated 10 months ago
- the Meta-II VM in C☆19Updated 9 years ago
- Functional iterators for Lua based on coroutines☆18Updated 4 years ago
- An embeddable LISP in C99☆19Updated 6 years ago
- Tiny lisp, simple and embeddable scheme-like language☆26Updated 11 months ago