$ luarocks install --server=https://luarocks.org/manifests/ligurio <name>Modules
- A module that enables integration with American Fuzzy Lop
- Translate LuaJIT BC and IR to SMT
- A practical mutation testing tool for Lua
- A coverage-guided, native Lua fuzzer
- A framework for distributed systems verification, with fault injection
- Easy, terse, readable and fast function arguments type checking
- Convenient error handling in tarantool
- A FUSE-based fault injection filesystem