Lua port of of microKanren, a minimal logic programming engine.
☆34Jan 21, 2014Updated 12 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☆27Aug 28, 2019Updated 6 years ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆16Jun 3, 2016Updated 9 years ago
- A simple web server for LÖVE☆10Jun 21, 2019Updated 6 years ago
- The DSL FSM☆12Dec 3, 2013Updated 12 years ago
- Binary decision diagram library (Lua)☆16May 24, 2015Updated 10 years ago
- Alternate Lua module system☆13Aug 15, 2018Updated 7 years ago
- Higher-level C API for Lua based on llib☆28Apr 6, 2014Updated 11 years ago
- A collection of sounds from places I've been☆15Jul 18, 2023Updated 2 years ago
- Tiny module for accessing random bytes☆11Dec 29, 2020Updated 5 years ago
- a kernel☆13Sep 24, 2023Updated 2 years ago
- Lua implementation of HSLuv (revision 4)☆50May 3, 2023Updated 2 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Basic Lisp-like programming language☆13Dec 25, 2020Updated 5 years ago
- Bare-bones luvit-loader runtime (aka Luvit without any dependencies/libraries included)☆12Oct 23, 2017Updated 8 years ago
- Load a Wavefront Object file into Lua☆12Jan 25, 2019Updated 7 years ago
- An example of unit testing Corona using busted☆14Jan 5, 2013Updated 13 years ago
- Second generation of the HolonForth concept, now applied to general software development. Featuring code structured as books with Chapter…☆12Apr 22, 2018Updated 7 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- ffi binding of the Lua/LuaJIT C API☆13Nov 12, 2019Updated 6 years ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Jul 23, 2017Updated 8 years ago
- Self-host your GitHub repositories via a lightweight user interface.☆12Jan 4, 2022Updated 4 years ago
- LuaSrcDiet - Compresses Lua source code by removing unnecessary characters.☆29Feb 27, 2013Updated 13 years ago
- my tiny LuaJIT 2.1 fork☆24Aug 21, 2023Updated 2 years ago
- Lua coroutines that allow nesting☆31Mar 26, 2022Updated 3 years ago
- Solutions to various problems written in Factor☆20Jan 22, 2021Updated 5 years ago
- A fast LuaJIT 2D, 3D, and 4D vector library☆12Nov 2, 2018Updated 7 years ago
- Rotth is a stack based concatenative language highly inspired by Porth☆16Apr 3, 2024Updated last year
- Domain Specific Language generator for Lua☆61Jun 15, 2015Updated 10 years ago
- A ZX Spectrum emulator written in Lua 5.3.☆28Oct 4, 2015Updated 10 years ago
- ☆16May 1, 2023Updated 2 years ago
- A Lua port of the cassowary constraint solver engine☆36Jun 16, 2022Updated 3 years ago
- React-style ui component system for Lua☆13Mar 17, 2022Updated 3 years ago
- ☆19Feb 21, 2014Updated 12 years ago
- ZeroMQ 4.x.x+ binding for Lua☆15Nov 4, 2017Updated 8 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- A Lua implementation of the Least Common Subsequence and diff☆14Jun 5, 2012Updated 13 years ago
- use your favorite language as a database☆11Dec 11, 2024Updated last year
- Native windows (Windows, Linux, OSX) for Lua☆30Dec 7, 2019Updated 6 years ago
- A simple isolated scheduler for LuaJit☆28Oct 30, 2018Updated 7 years ago