typedlua
mir
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.
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.
mir
-
Ravi is a dialect of Lua, with JIT and AOT compilers
MIR comes from the Rubyverse and isn't related to LLVM MLIR.
https://github.com/vnmakarov/mir?tab=readme-ov-file#mir
- Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
- Implementing Interactive Languages
- I developed a faster Ruby interpreter
-
Are Hoistings Possible for C++?
When you say a fork of LLVM, am I correct in assuming that you specifically mean a fork of Clang? I don't see how the compiler backend would affect support for language extensions, regardless of whether it's an exception to that such as Tcc, Cproc, the MIR C jitter, lacc, 8cc, 9cc, and chibicc. Most of those are not for production, excluding Cproc and Tcc (at least according to Suckless or Oasis).
-
Suggestion for a backend?
MIR
- Ask HN: Recommendation for general purpose JIT compiler
- How to learn compilers: LLVM Edition
- What instructions are needed for a language vm
-
Nelua Programming Language
> I wish C was scriptable
C kinda can be used as scripting language with MIR project https://github.com/vnmakarov/mir
It was released just a few days ago, and I've successfully use it as an alternative and fast C compiler with Nelua.
What are some alternatives?
hylo - The Hylo programming language
asmjit - Low-latency machine code generation
libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
LuaJIT - Mirror of the LuaJIT git repository
lean4 - Lean 4 programming language and theorem prover
Cwerg - The best C-like language that can be implemented in 10kLOC.
eff - 🚧 a work in progress effect system for Haskell 🚧
ecl
dafny - Dafny is a verification-aware programming language
kcs - Scripting in C with JIT(x64)/VM.
rfcs - RFC process for Bytecode Alliance projects
terra - Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.