guix
luau
guix | luau | |
---|---|---|
48 | 64 | |
273 | 3,645 | |
0.7% | 2.3% | |
3.5 | 9.0 | |
4 months ago | 3 days ago | |
Scheme | C++ | |
GNU General Public License v3.0 only | MIT License |
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.
guix
- Nix – A One Pager
-
Pkl, a Programming Language for Configuration
> So what we are missing now is a 500GB framework that can write the config file for the programming language that is writing a config file for the actual program I wish to use.
That exists since 1960. It's called LISP. The e.g. https://guix.gnu.org/ uses with great success, the Guile Scheme dialect of LISP, to be precise. And FYI the "framework" is:
$ ls --human-readable --size $(readlink $(which guile))
-
NixOS: Declarative Builds and Deployments
> inventing a brand new purely functional language programming language.
ISTM that if you dislike that, then there's GUIX.
https://guix.gnu.org/
Very briefly, AFAICT, it's "Nix but using Scheme".
-
Linux saved my life
And just wait till you discover Arch Linux, Gentoo, Guix, or NixOS.
-
The nicest web browser of 2023 uses Lisp.
https://guix.gnu.org for example. It did load before an update but it doesn't anymore.
-
Java community welcomes kotlin, c/c++ community welcome rust and go and Javascript community welcomes typscript except emacs community who still refuse to welcome gnu guile.
Is it? Seems to me it's used for some pretty cool stuff, heard of Guix?
-
Lua: The Little Language That Could
I think a "competitor" to Lua would be Guile [1], but I am not sure if it gets close to Lua in terms of lightweightness... it was designed to be used in the GNU project, with similar objects as Lua: to be light, easily embeddable. It's a Scheme (Lisp) so maybe not for everyone's taste... its "coolest" use i know of is for configuring Guix [2] (the GNU version of Nix).
[1] https://www.gnu.org/software/guile/
[2] https://guix.gnu.org
-
Immutable OS suggestions
No one said Guix yet, might be worth a look: https://guix.gnu.org/
-
What are some of the more innovative linux distributions?
GNU Guix! A fully functional package manager and distro heavily inspire by Nix. The primary difference between it and Nix being that it is almost entirely written and configured in GNU Guile, an implementation of Scheme (Lisp) and the official extension language of the GNU Project (originally intended to be for GNU what emacs lisp is for emacs).
-
Rust Offline?
You should perhaps utilize guix for your projects. It provides rather acceptable rust resp. crates support and in a perfectly reproducible build environment. But be aware, that it even tries to build even the rust compiler from source by going through all this nasty steps of its iterative bootstrap process. This can be a little bit complex and time-consuming, if you need an up-to-date version of rustc.
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
What are some alternatives?
nix - Nix, the purely functional package manager
lua-languages - Languages that compile to Lua
t2sde - T2 SDE Linux
LuaJIT - Mirror of the LuaJIT git repository
live-bootstrap - Use of a Linux initramfs to fully automate the bootstrapping process
moonsharp - An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
ungoogled-chromium - Google Chromium, sans integration with Google
lua-language-server - A language server that offers Lua language support - programmed in Lua
steam-runtime - A runtime environment for Steam applications
tl - The compiler for Teal, a typed dialect of Lua
ublue - A familiar(ish) Ubuntu desktop for Fedora Silverblue.
moonscript - :crescent_moon: A language that compiles to Lua