Rerumu / Lean

Lua 5.4 to C transpiler dependent on the vanilla runtime
15Updated last year

Related projects

Alternatives and complementary repositories for Lean