Binary decision diagram library (Lua)
☆16May 24, 2015Updated 10 years ago
Alternatives and similar repositories for lua-bdd
Users that are interested in lua-bdd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Dec 30, 2020Updated 5 years ago
- Trivial Lua human-readable binary-safe serialization library☆24Sep 10, 2013Updated 12 years ago
- General lexing / parsing and AST manipulation using Lua and listlpeg☆21Jan 23, 2012Updated 14 years ago
- A lightweight, pluggable web framework for Lua☆15Mar 11, 2012Updated 14 years ago
- Pure lua implementation of utf8proc and a few more unicode utilities☆13Jun 11, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lua API for CouchDB☆22Feb 27, 2021Updated 5 years ago
- A simple interface to mmap for writing and reading binary data☆24Apr 7, 2022Updated 4 years ago
- Higher-level C API for Lua based on llib☆28Apr 6, 2014Updated 12 years ago
- Paranoid Lua programming☆15Mar 4, 2024Updated 2 years ago
- IPython Kernel for Lua -- sorry I stopped working on this!! Try https://github.com/pakozm/IPyLua☆31Dec 29, 2015Updated 10 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- A personal Lua Web Application Server☆31Jul 19, 2013Updated 12 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Jan 21, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- A simple web server for LÖVE☆10Jun 21, 2019Updated 6 years ago
- lua-sophia is a Lua binding to Sophia embeddable key-value database☆24Oct 3, 2013Updated 12 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Apr 7, 2011Updated 15 years ago
- Lua module to emulate a Lua Terminal in a IUP toolkit textbox to easily embed in any IUP application☆16Jul 29, 2024Updated last year
- lightweight search engine for local text docs☆29Feb 19, 2012Updated 14 years ago
- A Lua port of the cassowary constraint solver engine☆36Jun 16, 2022Updated 3 years ago
- Native windows (Windows, Linux, OSX) for Lua☆30Dec 7, 2019Updated 6 years ago
- LuaJIT Linux User Interface (LLUI, pronounced 'You Eye')☆12Aug 21, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lua data library☆38Sep 8, 2020Updated 5 years ago
- `require()` rewritten in plain Lua☆41Nov 26, 2022Updated 3 years ago
- LuaJIT FFI bindings for Chromium Embedded Framework (**UNSTABLE**)☆22Jun 7, 2022Updated 3 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Alternative Lua implementation☆32Mar 2, 2013Updated 13 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 8 years ago
- Lua 5.1, built with emscripten, with low-level API☆49Sep 25, 2013Updated 12 years ago
- A decent RSS and Atom XML feed parser☆36Jun 26, 2023Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A SQLite extension that embeds a Lua interpreter into SQLite☆19Jun 20, 2020Updated 5 years ago
- unit testing, logger, OOP, string, table extensions for lua.☆19Mar 7, 2012Updated 14 years ago
- ☆23Aug 20, 2011Updated 14 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆15Feb 22, 2026Updated 2 months ago
- Readline completion for Lua: DEPRECATED IN FAVOUR OF http://smbolton.com/lua.html☆21May 19, 2015Updated 10 years ago
- Some 2D geometry algorithms in Lua☆15Apr 7, 2022Updated 4 years ago
- Transform a lua script into a statically compiled and autonomous binary.☆13Mar 31, 2015Updated 11 years ago