typed-rosette (racket): A typed variant of the Rosette language.
Keywords: rosette|symbolic-execution|typed