emina/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
1 best points · 0 comments · 1 Hacker News post · 709 GitHub stars · View on GitHub
Hacker News discussions
- Rosette is a solver-aided language for program synthesis and verification (1 points, 0 comments, by zitterbewegung, 2017-12-31)