emina / rosette
git clone https://github.com/emina/rosette.git
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
+1
stars, 24h · #22,945
+~4
stars, 7 days · #26,300
+~15
stars, 30 days · #30,203
708
★ total · +1% this week
86
forks · 20 open issues
Star history (as recorded here)
LanguageRacket
License—
Created2014-07-31 (12y ago)
Last push8d ago
OwnerUser
Links
- GitHub: github.com/emina/rosette
- Releases · Issues · Hacker News mentions
README
Loading README…