gvvaughan / typecheck
Gradual type checking for Lua functions
☆42Updated 2 years ago
Alternatives and similar repositories for typecheck:
Users that are interested in typecheck are comparing it to the libraries listed below
- Check for use of undeclared variables☆38Updated 2 years ago
- a OS specified path manipulation module for Lua☆44Updated last year
- A iteration library for Lua☆55Updated 4 years ago
- A Lua bindings generator written in Lua.☆103Updated 2 months ago
- Parse programming languages syntax into an AST using PEGs with ease (LPeg Extension).☆63Updated 2 years ago
- Build Lua and LuaRocks in a self-contained directory on Linux.☆19Updated 7 months ago
- Parsing common data formats via LPeg☆64Updated 6 months ago
- Feature-rich command line parser for Lua☆58Updated 4 years ago
- Test the shape or structure of a Lua table, inspired by React.PropTypes & LPeg☆113Updated last year
- A Lua 5.x/LuaJIT introspection library for humans☆86Updated 8 years ago
- Loadkit allows you to load arbitrary files within the Lua package path☆43Updated last year
- Lua Code Combine☆47Updated 7 years ago
- Property based testing in Lua, inspired by the original QuickCheck.☆39Updated 3 years ago
- A parser generator in Lua using PEG syntax.☆51Updated 4 months ago
- Reformats any valid Lua 5.3 source code.☆40Updated 2 years ago
- Tabular representation of Lua data☆50Updated last month
- luarock packaging of Metalua's parser☆48Updated 11 years ago
- An extension of LPeg that supports labeled failures☆142Updated last year
- A string split function and iterator for Lua☆21Updated 2 years ago
- String interpolation for Lua☆87Updated 3 years ago
- A command-line argument parsing module for Lua.☆124Updated last year
- A set of pure lua, independent functions.☆15Updated 3 months ago
- Lua string hashing library, useful for internationalization☆49Updated last year
- File system path manipulation library☆84Updated 4 years ago
- ☆55Updated 9 months ago
- Lightweight programmable evented utility based on LuaJIT and ljsyscall☆35Updated 3 years ago
- A lua library to spawn programs☆27Updated 2 years ago
- Pure Lua ANSI Terminal functions☆53Updated 3 years ago
- ULua: Universal Lua Distribution☆34Updated 9 years ago
- Lua library for sanitizing, parsing, and editing untrusted HTML☆69Updated last year