Additional List utilities in Typed Racket.
Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.
Additional string utilities in Typed Racket.
Basic Typed Racket Json Parser and Emitter
|succeeds; has failing tests||4|
A typed variant of the Rosette language.
This package needs documentation