Welcome. This section is for developers who want to write Mica.
Mica is a systems programming language with a from-scratch native compiler for Linux x86_64 and ARM64. It runs as fast as C, and its compiler proves your heap memory safe at compile time: leaks, use-after-free, and double-free are build errors, inferred by flow analysis — with no garbage collector, no borrow checker, and no lifetime annotations to write. Where the analysis cannot follow a pointer, it tells you exactly what it could not prove, and a checked build turns any residual mistake into a loud, source-located trap rather than silent corruption.
The syntax is deliberately approachable — structured, readable, explicitly typed, with no hidden semantics. If you have written in any compiled or structured language, you will feel at home quickly. The ideas that make Mica different are the ones worth your attention, and they are what these pages focus on.
Start here
- Learning Mica — The Basics — a practical, hands-on
introduction. How to install the compiler and build a program; your first complete program; the
ordinal type system; compile-time generics; the memory model and the error that won’t compile;
and how to watch your source become machine code with
--export.
For downloads, the VS Code extension, and project links, see About. For the complete language specification and compiler internals, see the Technical Portrait.