Ravi is a dialect of Lua, with JIT and AOT compilers

• ravi

  4 1,140 4.3 C

  Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

• tl

  54 1,935 7.7 Lua

  The compiler for Teal, a typed dialect of Lua

  

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

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. 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.

  

• typedlua

  3 552 10.0 Lua

  An Optional Type System for Lua

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

• mir

  19 2,184 7.7 C

  A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

MIR comes from the Rubyverse and isn't related to LLVM MLIR.

https://github.com/vnmakarov/mir?tab=readme-ov-file#mir

• lua-nginx-module

  16 11,087 8.1 C

  Embed the Power of Lua into NGINX HTTP servers

  

"small embeddable dynamic languages" are usually used to configure or program other larger compiled applications. This is bes understood by example:

https://create.roblox.com/docs/tutorials/scripting/basic-scr... - make a mini game in Roblox

https://github.com/openresty/lua-nginx-module?tab=readme-ov-... - configure and extend NGINX

https://wezfurlong.org/wezterm/config/lua/general.html - make your terminal more useful (my personal config changes the tab color based on the process name - https://github.com/bbkane/dotfiles/blob/master/wezterm/dot-c...

https://m.youtube.com/watch?v=MQBr9hwf0BY - configure your text editor

• dotfiles

  9 31 8.6 Python

  Configs for apps I care about (by bbkane)

"small embeddable dynamic languages" are usually used to configure or program other larger compiled applications. This is bes understood by example:

https://create.roblox.com/docs/tutorials/scripting/basic-scr... - make a mini game in Roblox

https://github.com/openresty/lua-nginx-module?tab=readme-ov-... - configure and extend NGINX

https://wezfurlong.org/wezterm/config/lua/general.html - make your terminal more useful (my personal config changes the tab color based on the process name - https://github.com/bbkane/dotfiles/blob/master/wezterm/dot-c...

https://m.youtube.com/watch?v=MQBr9hwf0BY - configure your text editor

• snabb

  4 2,939 8.3 Lua

  Snabb: Simple and fast packet networking

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project