$ 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