Company

Mica Development UG builds industry compilers.

We are a German engineering company working on native code generation and static program analysis for systems software. Our product is a compiler toolchain, and our position is narrow and deliberate: the guarantees a systems language offers should be proven before the program runs, not discovered by a sanitizer, a race detector, or a customer.

What we build

Our flagship is the Mica compiler — a statically typed systems language with an optimizing native backend targeting Linux x86_64 and AArch64. It proves heap lifetimes, data-race freedom, and array bounds at compile time, without a garbage collector, a borrow checker, or lifetime annotations.

The implementation is entirely our own: every phase from lexical analysis through SSA optimization, register allocation, and ELF emission is ours, written in Go with no external dependencies. There is no LLVM and no GCC backend beneath it. For a procurement process that means a supply-chain surface of essentially nothing — and one vendor to hold responsible rather than a dependency tree.

What we are careful about

Compiler claims are easy to make and hard to check, so we try to be precise about the boundary between what is proven and what is merely tested.

Where our analysis cannot follow a pointer — across a call, into an aggregate, through a cast — the compiler does not guess and does not claim a proof it does not have. It reports exactly what it could not establish, and a checked build turns any residual mistake into a loud, source-located trap rather than silent corruption. We would rather cost you a keyword than reject a correct program or quietly miscompile one.

The same applies to performance. We publish methodology alongside every number, we measure retired instructions under Valgrind for determinism rather than quoting wall-clock times, and we state plainly where an established optimizer still leads us. Those figures are on the performance page with the method attached.

Intellectual lineage

We claim execution, not invention. Memory safety without a garbage collector and without a borrow checker — flow analysis with a runtime floor beneath it — sits on a long line of work, from region calculus through Cyclone to Vale, Hylo, and Inko. Anyone who knows that field will recognise the shape immediately, and they should.

Our claim is narrower and, we think, more defensible: of the languages exploring this design space, Mica is the one that ships it. A mature, fast, dual-architecture toolchain you can download and run today, where much of the adjacent work is still alpha, paused, or pre-1.0.

Licensing

The Mica compiler is free to download and use for any purpose, including commercial work, under the Mica Compiler License (MCL-1.0). Programs you compile are entirely yours. The compiler itself is not open source. Details are on the licensing page.

Contact

Full company registration details are in the Impressum.