1. 14
    Rosetta - A Solver-aided Programming Language That Extends Racket compsci formalmethods lisp programming emina.github.io
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  1. 4
    bandali avatar bandali 4 years ago | link

    For more on Rosette I recommend watching Emina’s keynotes at the (sixth RacketCon) and Clojure/west 2017.

    1. 1
      nickpsecurity avatar nickpsecurity 4 years ago | link

      Definitely look at the Applications page. Quite versatile.