The systems language from apps to operating systems.
insty is statically typed and compiles straight to native code with a from-scratch backend — no LLVM. It ships a real package manager, a language server, and first-class support for OS development.
curl -fsSL https://insty.land/install.sh | sh module main
fun main() -> i32 {
@println("Hello from insty!")
return 0
}Why insty
A small, honest language that goes all the way down to the metal.
Native x86-64, zero LLVM
A from-scratch backend emits ELF, PE, and Mach-O directly — no LLVM, no massive toolchain to install.
Built for OS development
Freestanding mode, custom targets, inline asm, volatile MMIO, atomics, and UEFI. insty powers InstantOS.
A real package manager
The cloud CLI builds your project and resolves dependencies from the registry. Run cloud publish and you are done.
Modern type system
Sum types with exhaustive match, monomorphized generics, slices, and string interpolation.
Editor-ready
A language server with diagnostics, completion, and go-to-definition, plus a VS Code extension.
One compiler, many targets
Linux, Windows, UEFI, InstantOS, and freestanding kernels — all from a single toolchain.
Types that model your problem
Sum types and exhaustive match make illegal states unrepresentable — the
idiomatic way to model ASTs, IRs, and state machines. Add monomorphized generics and slices
and you have a type system that is expressive without a runtime.
module main
enum Shape {
Circle(i32),
Rect(i32, i32)
}
fun area(Shape s) -> i32 {
match s {
Circle(r) => return 3 * r * r
Rect(w, h) => return w * h
}
return 0
}
fun main() -> i32 {
Shape s = Shape.Rect(4, 5)
return area(s) // 20
}One platform, everything insty
Docs, packages, a playground, an IDE, and the projects built on insty.
Documentation
Guides, the language tour, CLI + stdlib reference.
Playground
Write and check insty in your browser.
Packages
Publish and install packages with the cloud CLI.
Web IDE
A full editor with real language intelligence.
Learn
Interactive, guided lessons from zero.
Community
Ask questions and share what you build.
InstantOS
The operating system insty was built for.
SolarMC
Minecraft server software, rewritten in insty.
First-class editor support
Install the extension for syntax highlighting, diagnostics, completion, and go-to-definition, powered by the insty language server.
Start building with insty
Try it in your browser, then install the toolchain in one line.