Hacker News
- Rosette: A solver-aided programming language https://emina.github.io/rosette/ 3 comments
- Rosette – A solver-aided programming language http://homes.cs.washington.edu/~emina/rosette/ 2 comments
- Rosette – A solver-aided programming language that extends Racket https://emina.github.io/rosette/index.html 11 comments
- Rosette: a solver-aided programming language that extends Racket http://emina.github.io/rosette/ 8 comments