LuaRocks.org had a security incident in September 2026. Read the incident report.

Julian

Modules

2

Registered

2 years ago

Downloads

1,692

$ luarocks install --server=https://luarocks.org/manifests/julian <name>

Modules

lean.nvim by Julian — downloads: 1,515created 2y ago · updated 5mo ago
neovim support for the Lean theorem prover
runt.nvim by Julian — downloads: 177created 2y ago · updated 1y ago
Find corresponding test files given your source file