Lin-Manuel Miranda

[Eckoo]

So i was just wondering if someone had some information if he has an album out or something. I only saw him in House M.D., white house(hamilton rap), Freestyle love supreme(some videos on youtube) and in the heights (a broadway musical).
Does he have an album or just songs out, because the hamilton rap was just pure genius.
Thanks for the information.