Comment by MathMonkeyMan

They actually open sourced it!

I worked on this team very briefly. Great team working on some interesting tech.