GitHub repository: whoahq/squall
Primary language: C++
Description: An unofficial open source implementation of the Storm standard library circa 2010.