emina's tracked open-source repos, sorted by stars.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
