snabb vs typedlua

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

snabb		typedlua
	Project
4	Mentions	3
2,946	Stars	560
0.2%	Growth	-
6.6	Activity	10.0
4 days ago	Latest Commit	about 4 years ago
Lua	Language	Lua
Apache License 2.0	License	-

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

snabb

Posts with mentions or reviews of snabb. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-03-18.

Ravi is a dialect of Lua, with JIT and AOT compilers
7 projects | news.ycombinator.com | 18 Mar 2024
The Fall of Datacenter Software
1 project | news.ycombinator.com | 25 Aug 2022
LuaJIT Performance
4 projects | /r/Compilers | 17 Feb 2021

If you are curious to see a production level applications that takes advantage of LuaJIT's bevy of features, and especially the tracing JIT, have a look at: https://github.com/snabbco/snabb or https://openresty.org/en/
BGP (1M routes and beyond) Hardware/Software recommendations (sensible at scale!) -- and a little rant about IPInfusion OcNOS
1 project | /r/networking | 11 Feb 2021

typedlua

Posts with mentions or reviews of typedlua. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-03-18.

Ravi is a dialect of Lua, with JIT and AOT compilers
7 projects | news.ycombinator.com | 18 Mar 2024

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
1 project | /r/ProgrammingLanguages | 24 May 2023
What are the current hot topics in type theory and static analysis?
15 projects | /r/ProgrammingLanguages | 8 May 2023

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?

When comparing snabb and typedlua you can also consider the following projects:

raylua - Cross-Platform, Modern, And updated LuaJIT bindings for raylib library.

hylo - The Hylo programming language

LuaJIT - Mirror of the LuaJIT git repository

libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

apisix - The Cloud-Native API Gateway

lean4 - Lean 4 programming language and theorem prover

Smalltalk - Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file

eff - 🚧 a work in progress effect system for Haskell 🚧

Kong - 🦍 The Cloud-Native API Gateway and AI Gateway.

dafny - Dafny is a verification-aware programming language

koreader - An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

rfcs - RFC process for Bytecode Alliance projects