GitHub repository: stchang/typed-rosette
Primary language: Racket
Created: 2017-03-21T23:48:21Z
Description: An experimental typed version of the Rosette language