typedlua
snabb
typedlua | snabb | |
---|---|---|
3 | 4 | |
560 | 2,940 | |
- | 0.1% | |
10.0 | 8.3 | |
about 4 years ago | 3 months ago | |
Lua | Lua | |
- | Apache License 2.0 |
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.
snabb
- Ravi is a dialect of Lua, with JIT and AOT compilers
- The Fall of Datacenter Software
-
LuaJIT Performance
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
What are some alternatives?
hylo - The Hylo programming language
raylua - Cross-Platform, Modern, And updated LuaJIT bindings for raylib library.
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
apisix - The Cloud-Native API Gateway
eff - 🚧 a work in progress effect system for Haskell 🚧
Smalltalk - Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file
dafny - Dafny is a verification-aware programming language
Kong - 🦍 The Cloud-Native API Gateway and AI Gateway.
rfcs - RFC process for Bytecode Alliance projects
koreader - An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices