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

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. ravi

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

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. tl

    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

  4. typedlua

    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

  5. mir

    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

  6. lua-nginx-module

    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

  7. dotfiles

    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

  8. snabb

    Snabb: Simple and fast packet networking

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

Did you know that Lua is
the 18th most popular programming language
based on number of references?