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