devcat-studio/kailua
View on GitHub ↗ ★ 169 Rust archived
🌴 Type Checker and IDE Support for Lua
7 mentions on Hacker News by 3 people: 2 stories, 5 comments · first 2017-04-25 · latest 2025-05-16
20082026
-
…Redis script). My Kailua [1] was designed that in mind but didn't reach its full potential. [1] https://github.com/devcat-studio/kailua/
comment by lifthrasiir · 2025-05-16 · in Teal – A statically-typed dialect of Lua -
…been and will be tripped up by this snippet. [1] So much that I had written a type checker for Lua: https://github.com/devcat-studio/kailua/ [2] http://lua-users.org/wiki/SortedIteration
comment by lifthrasiir · 2023-01-04 · in Lua will be 30 this year -
…Lua (like Flow comment syntax [2]), I wonder if the Luau team has considered this language. [1] https://github.com/devcat-studio/kailua [2] https://flow.org/blog/2015/02/20/Flow-Comments/
comment by disjukr · 2021-11-03 · in Luau goes open-source -
…to notice the problem . Lua is a small language, but packed with lots of similar problems. [1] https://github.com/devcat-studio/kailua/blob/323caab59c06230...
comment by lifthrasiir · 2020-08-06 · in Luau – A fast, small, safe, gradually typed scripting language derived from Lua -
…charactistics. But my own experience says otherwise. [1] https://github.com/pkulchenko/MobDebug [2] https://github.com/devcat-studio/kailua
comment by lifthrasiir · 2018-11-01 · in A Look at the Design of Lua