dibyendumajumdar/ravi

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1252 stars · 69 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Ravi is a dialect of Lua 5.3 with limited optional static typing, a MIR-based JIT compiler, and AOT compilation to native code. It enhances the Lua VM with type-specific bytecodes for better performance while remaining compatible with Lua programs.

Use cases

• embed a Lua-compatible scripting language with JIT performance
• add optional static typing to Lua code
• compile Lua scripts ahead-of-time to shared libraries
• run Lua 5.3 programs with a generational garbage collector
• embed C code snippets in scripts

When to choose

• you want Lua 5.3 compatibility with optional static types and JIT speedups
• you need an embeddable scripting language with AOT compilation support
• you value maintainability and safety over maximum performance like LuaJIT

When to avoid

• you need maximum raw performance and mature tooling - LuaJIT is faster
• you need Lua 5.4 or 5.1 compatibility
• you want a purely type-checked approach that compiles to standard Lua

Facets

cli-tool · maturity active

programming-language compiler interpreter programming-languages compilers developer-tools windows cpp c lua-dialect jit-compiler aot-compilation static-typing mir embedded-scripting vscode-debugger programming-language jit linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="dibyendumajumdar/ravi")