GaloisInc / galua

Related projects ⓘ

Alternatives and complementary repositories for galua

• luc-tielen / lua-quickcheck
  Property based testing in Lua, inspired by the original QuickCheck.
  ☆38Updated 2 years ago
• silentbicycle / lua-ukanren
  Lua port of of microKanren, a minimal logic programming engine.
  ☆34Updated 10 years ago
• larme / hua
  Hua (㕦) is a hy-like lisp language to lua compiler.
  ☆24Updated 9 years ago
• johnae / spook
  Lightweight programmable evented utility based on LuaJIT and ljsyscall
  ☆35Updated 3 years ago
• IonoclastBrigham / firth
  A simple Forth-like language intended for DSL creation, implemented in Lua.
  ☆26Updated 2 years ago
• eugeneia / s-lua
  S-Lua, S-expressions and Macros for Lua
  ☆29Updated 7 years ago
• silentbicycle / lua-bdd
  Binary decision diagram library (Lua)
  ☆17Updated 9 years ago
• violetav / lua-ffi-gen
  ☆21Updated 8 years ago
• meric / leftry
  Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.
  ☆36Updated 7 years ago
• malkia / luajit-zile
  zile (emacs clone in lua) using luajit ffi for curses, posix, etc.
  ☆22Updated 13 years ago
• progranet / OMeta.Lua
  OMeta for Lua
  ☆13Updated 3 years ago
• leafo / moonlisp
  a Lisp that compiles to Lua
  ☆69Updated 12 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated last year
• leafo / loadkit
  Loadkit allows you to load arbitrary files within the Lua package path
  ☆42Updated last year
• grebenyukaa / cmm-compiler-backend
  Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.
  ☆7Updated 9 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• siffiejoe / lua-luaepnf
  Extended PEG Notation Format (easy grammars for LPeg)
  ☆25Updated 10 months ago
• Etiene / lua.space
  The Lua Community Blog
  ☆81Updated 3 years ago
• fab13n / metalua-parser
  luarock packaging of Metalua's parser
  ☆48Updated 10 years ago
• hishamhm / safer
  Paranoid Lua programming
  ☆14Updated 8 months ago
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 2 years ago
• pygy / strung.lua
  Lua string patterns rewritten in Lua + FFI, for LuaJIT.
  ☆54Updated 8 years ago
• ayourtch / luajit-fun
  Fun with LuaJIT
  ☆26Updated 12 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 3 weeks ago
• mascarenhas / luma
  LPEG-based Lua macros
  ☆14Updated 13 years ago
• WeirdConstructor / lal
  Scheme (dialect) to Lua compiler
  ☆20Updated 7 years ago
• saucisson / lua-coronest
  Lua coroutines that allow nesting
  ☆28Updated 2 years ago
• nenofite / mm
  🍒🍪🍰 A delicious Lua inspector
  ☆34Updated 6 years ago
• siffiejoe / lua-fx
  Functional Experiments in Lua
  ☆8Updated 4 years ago