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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Higher-level C API for Lua based on llib☆28Apr 6, 2014Updated 11 years ago
- Asyncronus wrapper around LuaSocket library☆17Apr 9, 2014Updated 11 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Binary decision diagram library (Lua)☆16May 24, 2015Updated 10 years ago
- React-style ui component system for Lua☆13Mar 17, 2022Updated 4 years ago
- Tiny module for accessing random bytes☆11Dec 29, 2020Updated 5 years ago
- Fully verifiable operating system and API written in D in the public domain.☆43Jul 12, 2011Updated 14 years ago
- Lua implementation of HSLuv (revision 4)☆50May 3, 2023Updated 2 years ago
- ☆19Feb 21, 2014Updated 12 years ago
- Native windows (Windows, Linux, OSX) for Lua☆30Dec 7, 2019Updated 6 years ago
- Domain Specific Language generator for Lua☆61Jun 15, 2015Updated 10 years ago
- A Lua port of the cassowary constraint solver engine☆36Jun 16, 2022Updated 3 years ago
- Lua coroutines that allow nesting☆31Mar 26, 2022Updated 3 years ago
- LuaJIT FFI bindings for Chromium Embedded Framework (**UNSTABLE**)☆22Jun 7, 2022Updated 3 years ago
- a kernel☆13Sep 24, 2023Updated 2 years ago
- my tiny LuaJIT 2.1 fork☆24Aug 21, 2023Updated 2 years ago
- ZeroMQ 4.x.x+ binding for Lua☆15Nov 4, 2017Updated 8 years ago
- A Lua implementation of the Least Common Subsequence and diff☆14Jun 5, 2012Updated 13 years ago
- A tiny double-stacked state manging library for Lua/LÖVE☆12Feb 23, 2016Updated 10 years ago
- Lua bindings for the POCO C++ library☆16Jun 5, 2025Updated 9 months ago
- An example of unit testing Corona using busted☆14Jan 5, 2013Updated 13 years ago
- JSON Web Token library☆40May 1, 2019Updated 6 years ago
- Bare-bones luvit-loader runtime (aka Luvit without any dependencies/libraries included)☆12Oct 23, 2017Updated 8 years ago
- LuaSrcDiet - Compresses Lua source code by removing unnecessary characters.☆29Feb 27, 2013Updated 13 years ago
- Minimal HTML5 game development lib☆43Mar 11, 2018Updated 8 years ago
- WebSocket for Luvit☆27Oct 15, 2012Updated 13 years ago
- A ZX Spectrum emulator written in Lua 5.3.☆28Oct 4, 2015Updated 10 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- A parser of C headers for the Titan FFI☆16Dec 9, 2017Updated 8 years ago
- Load a Wavefront Object file into Lua☆12Jan 25, 2019Updated 7 years ago
- A Lua implementation with an Eclipse OMR based JIT compiler☆91Nov 26, 2017Updated 8 years ago
- ☆14Jan 31, 2021Updated 5 years ago
- Lua 5.1/5.2 environment compatibility functions.☆32Aug 3, 2015Updated 10 years ago
- A fast LuaJIT 2D, 3D, and 4D vector library☆12Nov 2, 2018Updated 7 years ago
- Simple FORTH assembler for Intel 8086☆13Jul 28, 2021Updated 4 years ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Jul 23, 2017Updated 8 years ago