Ports of various open source libs using FlasCC to target Flash (http://gaming.adobe.com/technologies/flascc)