| | Rosette: A solver-aided programming language (emina.github.io) |
| 36 points by tosh on Nov 24, 2021 | past | 3 comments |
|
| | Rosette: Solver-aided programming language (emina.github.io) |
| 3 points by espeed on Dec 12, 2018 | past | 1 comment |
|
| | Rosette – A solver-aided programming language that extends Racket (emina.github.io) |
| 142 points by tosh on June 4, 2017 | past | 11 comments |
|
| | Rosette: a solver-aided programming language that extends Racket (emina.github.io) |
| 93 points by fitzwatermellow on April 2, 2016 | past | 8 comments |
|
