-
-
InfluxDB
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.
-
nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
checks
luarock for SierraWireless "checks" argument checking library, otherwise available at https://github.com/SierraWireless/luasched (by fab13n)
Although I’ve never used it, Teal appears to provide the functionality you need I believe https://github.com/teal-language/tl/blob/master/docs/tutorial.md
https://github.com/dibyendumajumdar/ravi Optional static types, with JIT and AOT compilation
https://github.com/richardhundt/shine Lua dialect
https://luau-lang.org/ Gradually typed embeddable language derived from Lua
You can add some runtime check by using the https://github.com/fab13n/checks library.
This is a version in C and you can find a luarock package. If you prefer, there is a pure lua version in the metalua sources https://github.com/fab13n/metalua/blob/master/checks.lua