| -1502815863 | | A partial version of 2htdp for Typed Racket | succeeds | 0 |
| -1638047366 | | Various utilities and helper functions I've found useful | succeeds | 0 |
| -1544906451 | | Concise Typed Racket syntax for declaring recursive data in BNF This package needs documentation | succeeds | 3 |
| -1651252749 | | Toolbox for C family in Typed Racket | fails | 5 |
| -1502812301 | | Function type annotation syntax for Typed Racket similar to Haskell | succeeds | 0 |
| -1630465722 | | data type syntax for typed/racket | succeeds | 0 |
| -1642613741 | | Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed. | fails | 5 |
| -1651252910 | | The (typed) core to construct the digital world | succeeds | 0 |
| -1648575785 | | Essential computer graphics for Typed Racket | succeeds; has failing tests | 4 |
| -1635122531 | | Test correctness of typed/untyped interaction. | succeeds; has failing tests | 4 |
| -1552453475 | | Type-safe interning of datatype in Typed Racket as a new sub-type of Index This package needs documentation | succeeds | 3 |
| -1527781442 | | A higher-level, typed wrapper around the irc package | succeeds | 0 |
| -1614328374 | | A well-typed JSON parser for Typed Racket inspired by Type Provider This package needs documentation | succeeds | 3 |
| -1647359810 | | Open XML for Microsoft Office | succeeds; has failing tests | 4 |
| -1619209907 | | Type provider for OpenAPI schemas. Generate well-typed client libraries in Typed Racket. | fails | 5 |
| -1620919579 | | Algebraic Data Types for Typed/Racket, with features tailored to compiler writing. The data types do not have to be declared before they are used, like prefab structs and symbols. Behind the scenes, this library remembers all the data types in a file, and uses it to implicitly pre-declare them. Mostly stable, although some things may change a bit in the future. Docs: phc-adt-implementationphc-adt
| fails | 5 |
| -1527022321 | | Provides `define-backwards-compatible-flat-prefab-predicate`which is like `define-predicate` but allows for backwards compatible prefab predicate declarations. This package needs documentation | fails | 5 |
| -1531745110 | | Read (and will write) Photoshop Documents | succeeds | 0 |
| -1647381710 | | Typed Racket interface to the RackUnit testing framework This package needs documentation | | 3 |
| -1635296480 | | require/typed, but skips contracts on already-typed imports | succeeds | 0 |
| -1618704957 | | A data modeling tool for Typed Racket | succeeds | 0 |
| -1557109396 | | Some conveniences for set, including fancy unicode aliases and more comprehension forms This package needs documentation | succeeds | 3 |
| -1617546903 | | Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not documented yet. I'm currently dogfooding this to work out the best strategy. | succeeds | 0 |
| -1635123827 | | type-tailored standard library functions | succeeds | 0 |
| -1502816494 | | Forms for giving specific argument names implicit types This package needs documentation | succeeds | 3 |
| -1636622789 | | Type expanders for typed/racket, which work like match expanders for match | succeeds | 0 |
| -1633012752 | | Utilities for composing functions in Typed Racket. | succeeds | 0 |
| -1641395264 | | Typed interface for the generic graph library. | succeeds; has conflicts; has failing tests | 4 |
| -1617546904 | | Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions. | fails | 5 |
| -1620073963 | | An implementation of miniKanren in typed racket. This package needs documentation | succeeds | 3 |
| -1630521559 | | Algebraic Datatypes for Typed Racket (tests and docs) | succeeds | 0 |
| -1630521559 | | Algebraic Datatypes for Typed Racket (implementation) This package needs documentation | succeeds | 3 |
| -1545076018 | | Various workarounds for Typed Racket, most of which are expected to be eventually obsolete This package needs documentation | succeeds; has dependency problems | 3 |
| -1653148146 New | | Streams for typed racket This package needs documentation | succeeds | 3 |
| -1592461928 | | A simple stack library written in TR. | succeeds | 0 |
| -1617546907 | | Some struct type properties in Typed/Racket, in a more type-safe way.
The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties. | succeeds | 0 |
| -1617550165 | | A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types. | succeeds | 0 |
| -1650678576 | | W3 Standards Implemented in Typed Racket | succeeds; has failing tests | 4 |
| -1617689977 | | a simple x64 assembler written in Typed Racket | succeeds | 0 |
| -1617689978 | | a simple x64 assembler written in Typed Racket This package needs documentation | succeeds | 3 |
| -1617550568 | | Fancy lists, with bounded or unbounded repetition of elements. Can be used as a type or match pattern. | fails | 5 |