Toolbox for C family in Typed Racket
The (typed) core to construct the digital world
Essential computer graphics for Typed Racket
Do we really need a "Typed Shell"? Nevertheless, Unix Shell and Powershell are not friends.
Open XML for Microsoft Office
Read (and will write) Photoshop Documents
A data modeling tool for Typed Racket
W3 Standards Implemented in Typed Racket