Hacker News
- Rosette: A solver-aided programming language https://emina.github.io/rosette/ 3 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
Lobsters
- Rosetta - A Solver-aided Programming Language That Extends Racket https://emina.github.io/rosette/index.html 2 comments compsci , formalmethods , lisp , programming