1. 13
    Rosetta - A Solver-aided Programming Language That Extends Racket compsci formalmethods lisp programming emina.github.io
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 2 comments

  1.  

  2. 3
    aminb avatar aminb 1 year 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 1 year ago | link

      Definitely look at the Applications page. Quite versatile.