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☆39Updated 2 years ago
- a OS specified path manipulation module for Lua☆44Updated last year
- A iteration library for Lua☆55Updated 4 years ago
- Property based testing in Lua, inspired by the original QuickCheck.☆39Updated 3 years ago
- Parse programming languages syntax into an AST using PEGs with ease (LPeg Extension).☆63Updated 2 years ago
- A Lua bindings generator written in Lua.☆104Updated 3 months ago
- A Lua 5.x/LuaJIT introspection library for humans☆86Updated 8 years ago
- Parsing common data formats via LPeg☆64Updated 7 months ago
- A lua library to spawn programs☆27Updated 2 years ago
- Build Lua and LuaRocks in a self-contained directory on Linux.☆19Updated 8 months ago
- LuaZDF - Lua Zero Dependency Functions☆47Updated 2 years ago
- Test the shape or structure of a Lua table, inspired by React.PropTypes & LPeg☆114Updated 2 years ago
- Lua Unix Module.☆54Updated last year
- Tabular representation of Lua data☆50Updated 2 months ago
- Simple library to check LUA-data against schemata☆47Updated last year
- A Lua REPL implemented in Lua for embedding in other programs☆176Updated 3 years ago
- Lightweight programmable evented utility based on LuaJIT and ljsyscall☆35Updated 3 years ago
- An extension of LPeg that supports labeled failures☆146Updated last year
- LuaJIT Data Structures - hold cdata in Arrays, Vectors, and HashMaps☆119Updated 5 years ago
- A curated list of Teal-related projects!☆61Updated last year
- File system path manipulation library☆84Updated 4 years ago
- Loadkit allows you to load arbitrary files within the Lua package path☆43Updated last year
- luarock packaging of Metalua's parser☆48Updated 11 years ago
- A PEG Parser Generator with Semi-Automatic Error Recovery based on LPeg(Label)☆19Updated 3 years ago
- Lexing & Syntax Highlighting in Lua (using LPeg)☆74Updated 2 years ago
- Terminal operations for Lua☆161Updated 6 months ago
- Lua Code Combine☆48Updated 7 years ago
- Lua string hashing library, useful for internationalization☆50Updated last year
- Pure Lua ANSI Terminal functions☆53Updated 3 years ago
- A collection of LPEG patterns☆124Updated 2 years ago