A domain-specific language for knitting patterns
-
Updated
Mar 30, 2025 - Racket
A domain-specific language for knitting patterns
Type expanders (i.e. type-level functions) for Typed/Racket
Essential computer graphics
Typed Racket implementation of a stack library
An implementation of miniKanren in Typed Racket.
Algorithms and data structures implemented in Raket
The (typed) base to construct the digital world
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Typed Racket IRC library
Add a description, image, and links to the typed-racket topic page so that developers can more easily learn about it.
To associate your repository with the typed-racket topic, visit your repo's landing page and select "manage topics."