silentbicycle / lua-bdd
Binary decision diagram library (Lua)
☆17Updated 9 years ago
Alternatives and similar repositories for lua-bdd:
Users that are interested in lua-bdd are comparing it to the libraries listed below
- LPEG-based Lua macros☆14Updated 13 years ago
- Lua bindings for Wt☆13Updated 5 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Updated 10 years ago
- Binding for GNU MP v5.1.2☆11Updated 9 years ago
- Functional Experiments in Lua☆8Updated 4 years ago
- Fork of Lua 5.3 pattern matching with added features☆11Updated 6 years ago
- ☆21Updated 8 years ago
- An auto-generated cdef database for LuaJIT☆16Updated 8 years ago
- Pure lua implementation of utf8proc and a few more unicode utilities☆12Updated 9 years ago
- LuaJIT General Purpose Routines☆15Updated 3 years ago
- Paranoid Lua programming☆14Updated 10 months ago
- A LuaJIT-based interface to libclang☆21Updated 3 weeks ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 7 years ago
- Lua-FaCES is a forward chaining expert system written in Lua programming language☆16Updated 8 years ago
- Generally applicable Terra utilities.☆15Updated 9 years ago
- ffi binding of the Lua/LuaJIT C API☆13Updated 5 years ago
- Deterministic cleanup of resources in Lua☆11Updated 4 years ago
- POC demonstrating best practice for high-performance LuaJIT C Binding.☆10Updated 8 years ago
- Rima is a tool for formulating mathematical models☆19Updated 9 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
- LuaJIT + TCC on RPi bare metal☆20Updated 8 years ago
- LuaJIT binding to the aws s2n TLS library☆14Updated 9 years ago
- Extended PEG Notation Format (easy grammars for LPeg)☆25Updated 11 months ago
- A ZX Spectrum emulator written in Lua 5.3.☆27Updated 9 years ago
- Lexing & Syntax Highlighting in Lua (using LPeg)☆74Updated 2 years ago
- Communicating Sequential Processes in Lua☆38Updated 2 years ago
- Functional iterators for Lua based on coroutines☆18Updated 4 years ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆27Updated 2 years ago
- Explains the output of luac.☆15Updated 9 years ago
- zile (emacs clone in lua) using luajit ffi for curses, posix, etc.☆22Updated 13 years ago