digimon (racket): The (typed) core to construct the digital world
Keywords: typed-racket|unstable|utility|racket