Kailua, Type Checker and IDE Support for Lua
🌴 Type Checker and IDE Support for Lua. Contribute to devcat-studio/kailua development by creating an account on GitHub.
Kailua, Type Checker and IDE Support for Lua launched on April 25, 2017 with 10 votes, #868 of 3,007 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 9 years on.
In plain words
Kailua is a type checker and integrated development environment support tool for Lua, the lightweight programming language. It enables developers to add type annotations to Lua code and provides IDE features like error detection and code completion. The tool helps catch bugs early through static analysis while maintaining Lua's simplicity. Kailua is designed for programmers who want stronger type safety without abandoning Lua's flexibility and ease of use.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
A console-based editor with Lua support, based on antirez's project2016 · github.com · ▲85A minimal text-editor with lua scripting. Contribute to skx/kilua development by creating an account on GitHub.
LadyLua, batteries-included static Lua 5.1 interpreter2021 · github.com · ▲61Single executable(static), batteries included, Lua 5.1 interpreter. - tongson/LadyLua
NetLua – Completely managed .NET Lua2013 · github.com · ▲61Completely managed .NET Lua. Contribute to frabert/NetLua development by creating an account on GitHub.
Glua, a Full-Featured Lua VM for Nodejs and the Browser2017 · github.com · ▲70Maybe you should use https://github.com/fiatjaf/flua instead of this - fiatjaf/glua
Kasama – an IntelliJ plugin to keep track of your coding practices2024 · plugins.jetbrains.com · ▲105Hi HN, I want to share with you an IntelliJ plugin I have developed and launched. Based on my own needs, I wanted a plugin that monitors my coding practices and gives me stats about them in order for me to improve on them. So, here is Kasama: An IDE plugin that works like a sport fitness tracker, gathering data on: - your coding sessions, i.e. how long are you active in the IDE and for which project - your activity in different modules, and how the activity is split between test code and prod code - your version control (git) interactions: how often you commit, the lifespan your branches,…
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲343Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, April 2017
the whole month →
Life & fun · 2017 · jacquesmattheij.com
The Boring Company▲1,057Elon Musk's new company, creating tunnels for traffic
Growth · 2017 · boringcompany.com
