CS Student @ MIT '25 | iOS & Android Developer
-
Capslock AG
- AG, Switzerland
Highlights
- Pro
Stars
1
star
written in Racket
Clear filter
The Rosette solver-aided host language, sample solver-aided DSLs, and demos