Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2017 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …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
  2. 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