emina/rosette
View on GitHub ↗ ★ 709 Racket
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2017-12-31 · latest 2022-01-13
20082026
-
…The most complete language/ecosystem that really showcases Racket's capabilities is Rosette IMO: https://github.com/emina/rosette/
comment by rachitnigam · 2022-01-13 · in Dear sir, you have built a compiler -
NB: Rosette 3.0 has been released: https://github.com/emina/rosette/blob/master/NOTES.md Also, the 2017 Clojure/West talk "Synthesis and Verification for All" [1] presented by UW Prof Emina Torlak (Rosette's creator) is one of the best…
comment by espeed · 2018-12-12 · in Rosette: Solver-aided programming language -
▲ 1
Rosette is a solver-aided language for program synthesis and verificationstory by zitterbewegung · 2017-12-31 · 0 comments