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:
- LPEG-based Lua macros☆14Updated 14 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Updated 11 years ago
- Binding for GNU MP v5.1.2☆11Updated last week
- Paranoid Lua programming☆15Updated last year
- Lua bindings for Wt☆13Updated 5 years ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 8 years ago
- Functional Experiments in Lua☆9Updated 4 years ago
- Pure lua implementation of utf8proc and a few more unicode utilities☆13Updated 9 years ago
- Fork of Lua 5.3 pattern matching with added features☆11Updated 7 years ago
- LuaJIT General Purpose Routines☆15Updated 4 years ago
- Lua sljit library☆10Updated 9 years ago
- The simplex method for solving linear programming problems implemented in Lua☆15Updated 12 years ago
- Generally applicable Terra utilities.☆15Updated 10 years ago
- LGSL: A numerical library for Lua based on GSL☆24Updated 9 years ago
- Pkg: ULua package manager☆15Updated 9 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- Fun with LuaJIT☆26Updated 13 years ago
- Rima is a tool for formulating mathematical models☆19Updated 9 years ago
- An auto-generated cdef database for LuaJIT☆17Updated 8 years ago
- Functional iterators for Lua based on coroutines☆18Updated 5 years ago
- Leg is a Lua library which offers a complete Lua 5.1 grammar, along with some functions to use and modify it.☆20Updated 6 years ago
- Lua debugger and interpreter☆27Updated 6 years ago
- Syntax extensions to LuaJIT for scientific computing☆15Updated 5 years ago
- Scheme (dialect) to Lua compiler☆23Updated 8 years ago
- A LuaJIT-based interface to libclang☆21Updated 2 months ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆16Updated 8 years ago
- Extended PEG Notation Format (easy grammars for LPeg)☆25Updated last year
- LuaJIT Linux User Interface (LLUI, pronounced 'You Eye')☆12Updated 8 years ago
- A Lua port of the cassowary constraint solver engine☆35Updated 2 years ago
- A simple isolated scheduler for LuaJit☆27Updated 6 years ago