Company

Mica Development UG builds Mica: compute you can see through.

We are a German engineering company. Our product is a programming language and its compiler, made for computation that has to be right, small and reproducible — from a formula on a laptop to a training run on a graphics card — together with everything that lets a person start in minutes: the editor extension with its notebooks, the starter repository and its devkit, and two courses that teach machine learning and compiler construction from nothing.

Who builds Mica

Michael Petersen
Founder of Mica Development UG · Author of the Mica programming language

I’m Michael, a software engineer with more than 30 years in IT. I built my first compiler as a student in the early 1990s, from ETH Zürich teaching materials. Three decades later I came back to compiler construction and built Mica with Claude, Anthropic’s AI, as my co-development partner: I design the language and decide its direction, and every change must pass the compiler’s tests before it lands. The whole story is in The Mica Story.

LinkedIn · GitLab · YouTube

Petra Petersen
Managing Director of Mica Development UG

Petra Petersen represents the company as its managing director, as entered in the commercial register at the Amtsgericht Königstein im Taunus under HRB 12404.

LinkedIn

How Mica is built

Mica is designed and directed by Michael Petersen, with Claude, Anthropic’s AI, as engineering partner on the compiler, its tests and this website. We say so openly, and nothing ships on trust: every change runs through the compiler’s test suite on both processor architectures before it lands, the figures on the facts page come from measured runs, and every release candidate walks the courses and runs their examples as written.

What we build

Who we build it for

• Engineers who own a computation — training and inference in industry, the kernels of actuaries and quants, simulation, embedded numerics — and behind them the people who pay for the compute and the energy it takes.
• People who want to learn how machine learning works or how a compiler is built, with a real tool in hand rather than a slide.
• Language builders — a company with a domain language, a research group, a compiler course — who want a native backend with its own optimizer and debug information, and a harness that proves it.

What we hold to

• Proven before it runs. The guarantees a language offers should be established by the compiler, not discovered by a sanitizer, a race detector or a customer. Where our analysis cannot follow a pointer, the compiler does not guess: it reports what it could not establish, and a checked build turns the residual mistake into a loud, source-located trap rather than silent corruption.
• Reproducible to the digit. A program prints the same numbers every time it runs on the same machine, at every optimization tier, serially and in parallel, on the processor and on the graphics card — C’s own promise, which we treat as a property of the language itself.
• Small. One binary, no runtime a program did not ask for, and a footprint we measure and publish.
• Honest about where the ideas come from. Memory safety by flow analysis stands on decades of research, and we say so. What we add is a compiler that ships it — one you can download and run today — and a precise statement of what it proves and what it only checks.
• Measured, with the method beside every number. Performance is measured on machines anyone can rent and stated plainly, including where an established optimizer still leads us. How we verify states every gate a release passes.

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’s source is not open yet: it opens with Mica’s next compiler, written in Mica itself and planned for 2027 (why). Details are on the licensing page.

Contact

The legal notice is in the Impressum, and how this site handles data is on the privacy page.