This is a solo project I’ve been working on for the past 2.5 years, mostly nights and weekends.
One of the core ideas behind Mica is to treat the System V AMD64 ABI as a first-class concept instead of hiding it behind an FFI layer. That allows direct interaction with C libraries and the OS with zero overhead, while still having compile-time type checking.
The compiler is written entirely in Go with no external dependencies, and currently targets Linux x86_64.
Happy to answer questions — especially from people working on compilers or language design.