ravi
typedlua
ravi | typedlua | |
---|---|---|
4 | 3 | |
1,143 | 560 | |
- | - | |
4.3 | 10.0 | |
10 months ago | about 4 years ago | |
C | Lua | |
GNU General Public License v3.0 or later | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ravi
- Ravi is a dialect of Lua, with JIT and AOT compilers
-
data types in function definition
https://github.com/dibyendumajumdar/ravi Optional static types, with JIT and AOT compilation
- Nelua Programming Language
-
A new compiler for Lua and Ravi that can also generate code AOT
Hi, I have been working on a new compiler for Ravi - which is a dialect of Lua 5.3 with some support for static types, and supports JIT compilation. The new compiler I am writing will compile input Lua/Ravi code to C, and the generated C code can be compiled into a shared library, and loaded at runtime.
typedlua
-
Ravi is a dialect of Lua, with JIT and AOT compilers
it's based off MIR, does it have something to do with https://mlir.llvm.org/ ?
for typed lua, there is another effort https://github.com/teal-language/tl in addition to the mentioned typescript approach: https://github.com/andremm/typedlua
- Seeking Language+Library recs for context sensitive language
-
What are the current hot topics in type theory and static analysis?
Gradual typing. This is what TypeScript is: you have some typed values and untyped values, and want to verify and possibly optimize the typed code while permitting the untyped code to compile. Besides JavaScript/TypeScript, you'll find gradual typing on pretty much any other popular untyped language including Python, Lua, and Racket. Mojo is also going to have gradual typing.
What are some alternatives?
LuaJIT - Mirror of the LuaJIT git repository
hylo - The Hylo programming language
terra - Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
nelua-lang - Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
lean4 - Lean 4 programming language and theorem prover
moonjit - Just-In-Time Compiler for the Lua Programming language. Fork of LuaJIT to continue development. This project does not have an active maintainer, see https://twitter.com/siddhesh_p/status/1308594269502885889?s=20 for more detail.
eff - 🚧 a work in progress effect system for Haskell 🚧
nelua-decl - C binding generator for Nelua using GCC Lua plugin.
dafny - Dafny is a verification-aware programming language
The-C-Programming-Language - Answers to exercises in K&R's The C Programming Language (second Edition).
rfcs - RFC process for Bytecode Alliance projects