silentbicycle / lua-bddLinks
Binary decision diagram library (Lua)
☆16Updated 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
Sorting:
- Lua port of of microKanren, a minimal logic programming engine.☆34Updated 11 years ago
- A simple isolated scheduler for LuaJit☆27Updated 6 years ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 8 years ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆16Updated 9 years ago
- Lua bindings for Wt☆13Updated 6 years ago
- A Lua port of the cassowary constraint solver engine☆35Updated 3 years ago
- LPEG-based Lua macros☆14Updated 14 years ago
- Syntax extensions to LuaJIT for scientific computing☆16Updated 5 years ago
- Functional iterators for Lua based on coroutines☆18Updated 5 years ago
- Lua debugger and interpreter☆27Updated 7 years ago
- LuaJIT General Purpose Routines☆15Updated 4 years ago
- zile (emacs clone in lua) using luajit ffi for curses, posix, etc.☆22Updated 14 years ago
- Fun with LuaJIT☆26Updated 13 years ago
- Lua binding to ROTE, Terminal Emulation library☆23Updated 9 years ago
- DynASM with Lua mode☆105Updated 5 years ago
- Extended PEG Notation Format (easy grammars for LPeg)☆25Updated last year
- LGSL: A numerical library for Lua based on GSL☆24Updated 9 years ago
- A Lua implementation with an Eclipse OMR based JIT compiler☆90Updated 7 years ago
- A parser of C headers for the Titan FFI☆16Updated 7 years ago
- Non-Moving, Incremental, and Generational Quad-Color Garbage Collector (http://wiki.luajit.org/New-Garbage-Collector)☆80Updated last year
- Scheme (dialect) to Lua compiler☆23Updated 8 years ago
- Load a Wavefront Object file into Lua☆12Updated 6 years ago
- n-dimensional kdtree spatial indexing☆17Updated 3 years ago
- Lexing & Syntax Highlighting in Lua (using LPeg)☆74Updated 2 years ago
- Lua coroutines that allow nesting☆30Updated 3 years ago
- LuaJIT access to Linux /proc file system☆14Updated 9 years ago
- The simplex method for solving linear programming problems implemented in Lua☆15Updated 12 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Updated 8 years ago
- Communicating Sequential Processes in Lua