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. ▲ 1
    Rosette is a solver-aided language for program synthesis and verification
    story by zitterbewegung · 2017-12-31 · 0 comments