#
typed-racket
Here are 13 public repositories matching this topic...
Type expanders (i.e. type-level functions) for Typed/Racket
-
Updated
Nov 11, 2021 - Racket
Typed Racket implementation of a stack library
-
Updated
Jun 18, 2020 - Racket
An implementation of miniKanren in Typed Racket.
-
Updated
May 3, 2021 - Racket
Algorithms and data structures implemented in Raket
education performance practice project-euler algorithms leetcode racket interview challenges data-structures problems profiling prompts typed-racket
-
Updated
Sep 8, 2022 - Racket
The (typed) base to construct the digital world
-
Updated
May 30, 2025 - Racket
A domain-specific language for knitting patterns
-
Updated
Mar 30, 2025 - Racket
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
-
Updated
Apr 4, 2021 - Racket
Typed Racket IRC library
-
Updated
Apr 4, 2017 - Racket
Improve this page
Add a description, image, and links to the typed-racket topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typed-racket topic, visit your repo's landing page and select "manage topics."