Rare find

rosette. The Rosette solver-aided host language, sample solver-aided DSLs, and demos

github.com/emina/rosette
by @emina

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.