ravi
terra
Our great sponsors
ravi | terra | |
---|---|---|
4 | 38 | |
1,132 | 2,652 | |
- | 0.7% | |
4.3 | 5.7 | |
8 months ago | 30 days ago | |
C | C++ | |
GNU General Public License v3.0 or later | 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.
terra
-
Mojo is now available on Mac
Chapel has at least several full-time developers at Cray/HPE and (I think) the US national labs, and has had some for almost two decades. That's much more than $100k.
Chapel is also just one of many other projects broadly interested in developing new programming languages for "high performance" programming. Out of that large field, Chapel is not especially related to the specific ideas or design goals of Mojo. Much more related are things like Codon (https://exaloop.io), and the metaprogramming models in Terra (https://terralang.org), Nim (https://nim-lang.org), and Zig (https://ziglang.org).
But Chapel is great! It has a lot of good ideas, especially for distributed-memory programming, which is its historical focus. It is more related to Legion (https://legion.stanford.edu, https://regent-lang.org), parallel & distributed Fortran, ZPL, etc.
- Why Fennel?
-
Two-tier programming language
Terra is the language you're looking for: https://terralang.org/
- Using Lua with C++
- Bog – small, strongly typed, embeddable language
-
Nelua, AOT statically typed Lua
Wow, amazing stuff. I love Lua, it was how I learned programming as a kid. Coincidently from the same world as the author. Open Tibia.
The author made a custom client (https://github.com/edubart/otclient) for the game that is still very much in active use by thousands of players. He's a very skilled developer.
Great to see AOT typed Lua, I know of the other solutions: Luau, Teal, TypeScriptToLua, Terra, etc., but this one is my favorite so far.
Love the simple compilation to C (and WASM support via Emscripten). Though Terra's JIT is enticing and good replacement for LuaJIT, this is for embedded systems, it's a good replacement for Lua PUC-Rio.
The World:
-
Idris: A Language for Type-Driven Development
Terra is a language that can also do that, and uses Lua as the metaprogramming language. Types are just Lua values.
But unfortunately, there's a lot of work left kind of half-baked so using the language is a pain... if someone invested a lot of time to make Terra work properly and added some tooling around it, wrote proper docs and so on, it would be a really interesting language.
- OOP in C
-
the entire c standard lib mapped to python
I have been playing with Terra lately, which is a statically compiled version of Lua which is itself metaprogrammed in Lua.. Terra happens to have completely seamless interop with C, so to call C is as trivial as this:
What are some alternatives?
nelua-lang - Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
LuaJIT - Mirror of the LuaJIT git repository
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
titan - The Titan programming language
Lua-RTOS-ESP32 - Lua RTOS for ESP32
Fennel - Lua Lisp Language
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
llvm-project - Fork of LLVM with Xtensa specific patches. To be upstreamed.
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.
moonscript - :crescent_moon: A language that compiles to Lua