catwell / itc.lua

Related projects: ⓘ

• silentbicycle / lua-ukanren
  Lua port of of microKanren, a minimal logic programming engine.
  ☆32Updated 10 years ago
• violetav / lua-ffi-gen
  ☆21Updated 7 years ago
• Wiladams / schedlua
  A simple isolated scheduler for LuaJit
  ☆27Updated 5 years ago
• eugeneia / s-lua
  S-Lua, S-expressions and Macros for Lua
  ☆29Updated 7 years ago
• siffiejoe / lua-fx
  Functional Experiments in Lua
  ☆8Updated 4 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated last year
• siffiejoe / lua-finally
  Deterministic cleanup of resources in Lua
  ☆11Updated 4 years ago
• ayourtch / luajit-fun
  Fun with LuaJIT
  ☆26Updated 12 years ago
• aperezdc / lua-itertools
  Functional iterators for Lua based on coroutines
  ☆18Updated 4 years ago
• luc-tielen / lua-quickcheck
  Property based testing in Lua, inspired by the original QuickCheck.
  ☆39Updated 2 years ago
• richardhundt / lupa
  OO language targetting Lua
  ☆48Updated 10 years ago
• pakozm / lua-faces
  Lua-FaCES is a forward chaining expert system written in Lua programming language
  ☆16Updated 8 years ago
• meric / leftry
  Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.
  ☆35Updated 6 years ago
• dritchie / terra-utils
  Generally applicable Terra utilities.
  ☆15Updated 9 years ago
• siffiejoe / lua-luaepnf
  Extended PEG Notation Format (easy grammars for LPeg)
  ☆25Updated 8 months ago
• Wiladams / LJIT2s2n
  LuaJIT binding to the aws s2n TLS library
  ☆14Updated 8 years ago
• saucisson / lua-coronest
  Lua coroutines that allow nesting
  ☆28Updated 2 years ago
• Playermet / luajit-gmp
  Binding for GNU MP v5.1.2
  ☆11Updated 9 years ago
• helixhorned / ljclang
  A LuaJIT-based interface to libclang
  ☆21Updated 3 weeks ago
• hishamhm / safer
  Paranoid Lua programming
  ☆14Updated 6 months ago
• loyso / LuaCSP
  Communicating Sequential Processes in Lua
  ☆38Updated 2 years ago
• grrrwaaa / luaclang
  Lua loadable module providing bindings to the LLVM/Clang APIs.
  ☆43Updated 10 years ago
• GaloisInc / galua
  Lua debugger and interpreter
  ☆27Updated 5 years ago
• gnois / luaty
  Lua with more or less typing. You type less; we type check.
  ☆14Updated last year
• leegao / see.lua
  A Lua 5.x/LuaJIT introspection library for humans
  ☆84Updated 7 years ago
• super-agent / schema
  A runtime type-checking system to validate API functions.
  ☆21Updated 8 years ago
• lneto / luadata
  Lua data library
  ☆36Updated 4 years ago
• LuaJIT / LuaJIT-test-cleanup
  Cleanup Workspace for LuaJIT tests
  ☆46Updated 5 years ago
• alnsn / luaSljit
  Lua sljit library
  ☆10Updated 8 years ago
• ladc / lgsl
  LGSL: A numerical library for Lua based on GSL
  ☆23Updated 8 years ago