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☆28Aug 28, 2019Updated 6 years ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆17Jun 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
- Alternate Lua module system☆13Aug 15, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Higher-level C API for Lua based on llib☆28Apr 6, 2014Updated 12 years ago
- Asyncronus wrapper around LuaSocket library☆17Apr 9, 2014Updated 12 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Binary decision diagram library (Lua)☆16May 24, 2015Updated 10 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- AWS Library for Lua☆15Aug 28, 2018Updated 7 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 4 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☆15Jun 5, 2012Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 10 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
- A pure Lua implementation of bk-trees, created because it was needed for fuzzy term matching.☆14Feb 22, 2022Updated 4 years ago
- Bare-bones luvit-loader runtime (aka Luvit without any dependencies/libraries included)☆12Oct 23, 2017Updated 8 years ago
- A Lua C PreProcessor☆130Feb 4, 2017Updated 9 years ago
- ffi binding of the Lua/LuaJIT C API☆13Nov 12, 2019Updated 6 years ago
- LuaSrcDiet - Compresses Lua source code by removing unnecessary characters.☆29Feb 27, 2013Updated 13 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 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
- A Lua implementation with an Eclipse OMR based JIT compiler☆91Nov 26, 2017Updated 8 years ago
- ☆14Jan 31, 2021Updated 5 years ago