luau
terra
Our great sponsors
luau | terra | |
---|---|---|
64 | 38 | |
3,615 | 2,669 | |
3.2% | 1.0% | |
9.0 | 5.1 | |
4 days ago | 23 days ago | |
C++ | C++ | |
MIT License | 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.
luau
-
Building a baseline JIT for Lua automatically
As far as I can tell, they aren't.
http://lua-users.org/wiki/SandBoxes
There is a lot of information there, but it doesn't handle resource exhaustion, execution time limits or give any guarantees. It does indicate that it's possible, and has a decent example of the most restrictive setup, which is a good start. But I would for example compare it with Luau's SECURITY.md.
From https://github.com/luau-lang/luau/blob/master/SECURITY.md:
> Luau provides a safe sandbox that scripts can not escape from, short of vulnerabilities in custom C functions exposed by the host. This includes the virtual machine and builtin libraries. Notably this currently does not include the work-in-progress native code generation facilities.
> Any source code can not result in memory safety errors or crashes during its compilation or execution. Violations of memory safety are considered vulnerabilities.
> Note that Luau does not provide termination guarantees - some code may exhaust CPU or RAM resources on the system during compilation or execution.
So, even luau will have trouble with untrusted code, but it specifies exactly what happens and so on. I think that's fair enough.
-
Pluto, a Modern Lua Dialect
Alternatively, Luau is a well-supported Lua variant with type checking and performance improvements, aimed more towards being a sandboxed embedded scripting environment.
https://luau-lang.org/
-
Buzz: A lightweight statically typed scripting language
If you need Lua but also type-safety, how about Luau [1] then?
[1] https://luau-lang.org/
-
Lua Criticism Is Unwarranted
I had the pleasure of working with Lua 5.1 back in the late noughties. For me it's replaced Tcl whenever I want something I can configure above a C library. At the time I used it I found it quite nice but I'll also not forget the hours I wasted tracking down nil table corruptions which could have easily been caught by a type checker.
I had some hope that Luau https://luau-lang.org or Teal https://github.com/teal-language/tl would make things better but with the following example
function foo(x: number): string
-
Ask HN: Looking for platforms, other than Roblox, that have adopted Luau
Looking at other replies here, I can see I wasn't the only one who didn't realize there is Lua and Luau. Luau is an extension of Lua: https://luau-lang.org/
> Luau is syntactically backwards-compatible with Lua 5.1 (code that is valid Lua 5.1 is also valid Luau); however, we have extended the language with a set of syntactical features that make the language more familiar and ergonomic.
-
Embeddable Common Lisp 23.9.9
Lua is usually the embedded language of choice. If you are focused on security, you could check out the Roblox fork, Luau (https://github.com/Roblox/luau) where the creators took extra care to lock down the language on what scripts could do.
-
Creating a simple sandboxed language
Luau - Lua variant by Roblox
-
The Warframe Lexicon for Updates
On a side note, I've heard that they recently switched from Lua to Roblox's own fork of Lua, Luau.
-
Lua: The Little Language That Could
https://www.youtube.com/results?search_query=luau+roblox&sp=...
Luau
https://github.com/Roblox/luau
Roblox wrote a superset of Roblox Lua which is way faster
-
Scripting Resources MegaThread
https://luau-lang.org/ - some documentation, and examples https://create.roblox.com/docs - documentation, tutorials, and examples https://www.youtube.com/user/AlvinBLOX - tutorials https://www.youtube.com/@TheDevKing/videos - tutorials https://www.lua.org/manual/5.1/ - not specific to Roblox, but Lua reference manual https://www.codecademy.com/learn/learn-lua - Lua on Codecademy
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:
- https://luau-lang.org/
- https://terralang.org/
- https://github.com/teal-language/tl
- https://typescripttolua.github.io/
-
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.
https://terralang.org/
- OOP in C
-
Noob question about what's possible with comptime
(I am slightly familiar with a language called Terra (https://terralang.org), which couples C with Lua, where the Lua is basically used as the metaprogramming layer ... sort of like comptime in Zig. And making an SOA data structure is the kind of thing you could do in Lua in Terra. So that was partly the basis for my question).
-
Upcoming RISC-V laptop promises free silicon upgrades
> why can't the hardware designer do something simple and clean
If it was easy, it would not need firmware in the first place. Firmware is there because people expect certain features and quality of life. See softmodems.
> write some assembly (without abusing the assembler preprocessor...)
You want https://terralang.org/ and not "just C"/"just Assembler" instead ?
What are some alternatives?
lua-languages - Languages that compile to Lua
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
LuaJIT - Mirror of the LuaJIT git repository
moonsharp - An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
lua-language-server - A language server that offers Lua language support - programmed in Lua
ravi - Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers
tl - The compiler for Teal, a typed dialect of Lua
titan - The Titan programming language
moonscript - :crescent_moon: A language that compiles to Lua
Lua-RTOS-ESP32 - Lua RTOS for ESP32