Armadillo Aerospace was Carmack's own rocket company.

And tbh I'm not sure it was ever a plausible contender for commercial success, more like Carmack wanted to play with rockets. But that might be unfair; I would happily accept a correction.

https://en.wikipedia.org/wiki/Armadillo_Aerospace