GaloisInc / galuaLinks
Lua debugger and interpreter
☆27Updated 7 years ago
Alternatives and similar repositories for galua
Users that are interested in galua are comparing it to the libraries listed below
Sorting:
- Property based testing in Lua, inspired by the original QuickCheck.☆41Updated 3 years ago
- Binary decision diagram library (Lua)☆16Updated 10 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Updated 11 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Updated 8 years ago
- A programming language☆77Updated 12 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 10 years ago
- Lightweight programmable evented utility based on LuaJIT and ljsyscall☆36Updated 4 years ago
- a Lisp that compiles to Lua☆72Updated 13 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- Hua (㕦) is a hy-like lisp language to lua compiler.☆26Updated 10 years ago
- A Lua implementation of Interval Tree Clocks☆21Updated 2 years ago
- ☆16Updated 7 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- The Kleenex programming language☆56Updated last year
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 8 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 5 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated last month
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- DynASM with Lua mode☆105Updated 6 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
- ☆22Updated 9 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- zile (emacs clone in lua) using luajit ffi for curses, posix, etc.☆22Updated 14 years ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆27Updated 2 months ago
- Crux Programming Language☆53Updated 2 months ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- A high-level Lua API for GPU parallelism [15-418 final]☆64Updated 9 years ago
- Haml for Lua☆53Updated 13 years ago