Rerumu / Lean

Lua 5.4 to C transpiler dependent on the vanilla runtime
15Updated 2 years ago

Alternatives and similar repositories for Lean:

Users that are interested in Lean are comparing it to the libraries listed below