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.
What we build
| What it is | Terms | |
|---|---|---|
| The Mica compiler | a statically typed systems language with an optimizing native backend of its own, in which tensors, the autograd tape and the GPU are parts of the language; Linux x86_64 and AArch64 | free for any use, including commercial (MCL-1.0) |
| The VS Code extension | diagnostics, hovers and navigation answered by the compiler itself, one-click run and debug, a runtime view, and Mica Notebooks whose recorded outputs are verified facts | free |
| The Dragon SDK | the compiler’s backend as a C header and a static archive, for a language of your own | free for noncommercial use, commercial by agreement |
| The starter repository and the devkit | the development container, every example, the benchmarks, the notebooks, and the tools that set a machine up — a laptop, a container or one in the cloud | free |
| The courses | machine learning from the first guess to your own GPT; compiler construction from Wirth’s PL/0 to the Dragon road | free |
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 — 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 itself is not open source. Details are on the licensing page.
Contact
Mica Development UG (haftungsbeschränkt) Am Pfingstborn 27A 61479 Glashütten, Germany
General and licensing enquiries: info@mica-dev.com
Full company registration details are in the Impressum.