There are 2 repositories under typed-racket topic.
Type expanders (i.e. type-level functions) for Typed/Racket
An implementation of miniKanren in Typed Racket.
Algorithms and data structures implemented in Raket
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Typed Racket IRC library