t0mpr1c3 /knotty
编织图案的特定领域语言
Racket74
typed-racket 开源项目推荐（12 个）
typed-racket 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
12收录项目
195Star 总量
1覆盖语言
相关标签
热门项目 全部 12
GitHub 共 12 个仓库，已全部展示
takikawa /tr-pfds
Typed Racket data structure libraries
Racket61
SuzanneSoy /type-expander
Type expanders (i.e. type-level functions) for Typed/Racket
Racket17
wargrey /w3s
W3 Standards implementation
Racket9
wargrey /graphics
A typed technical graphics family for Racket: essentials, diagrams, plots, and more...
Racket9
lehitoskin /typed-stack
Typed Racket implementation of a stack library
Racket6
dalev /minikanren-typed-racket
An implementation of miniKanren in Typed Racket.
Racket5
wargrey /clang
A sort of C/C++ utilities in pure Typed Racket
Racket5
JCPedroza /algorithms-and-data-structures-rkt
Algorithms and data structures implemented in Raket
Racket3
wargrey /digimon
The (typed) base to construct the digital world
Racket3
SuzanneSoy /tr-immutable
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Racket2
foxiepaws /typed-racket-irc
Typed Racket IRC library
Racket1
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 12 个项目；原始页面见 https://github.com/topics/typed-racket。
- 该话题在 GitHub 上共有 12 个仓库， 本站收录的是其中最热门的 12 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 12 个项目累计 195 Star，覆盖 1 种主要语言，数据更新于 2026-11-12。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。