Who we are

A research‑driven collective that unites functional programming,
rigorous mathematics, and the Phantom Assembler to probe the
foundations of machine code, keeping the art of bare‑metal
programming alive.

Mission Statement

We believe in crafting correct, reliable, and efficient software
through the disciplined application of functional paradigms and
formal verification techniques. You will find our design decisions
and test methodologies meticulously documented, and our
development progress transparently tracked via public ticketing
systems embodying our commitment to reliable software.