| -1749484700 | | The implementation of the Typed Racket language | | 0 |
| -1749484702 | | compatibility library for older Typed Racket-based languages This package needs documentation | | 4 |
| -1630521559 | | Algebraic Datatypes for Typed Racket (tests and docs) | succeeds | 0 |
| -1630521559 | | Algebraic Datatypes for Typed Racket (implementation) This package needs documentation | succeeds | 4 |
| -1749484704 | | documentation part of "typed-racket" | | 0 |
| -1734342609 | | typed/racket + eff | succeeds | 0 |
| -1545076018 | | Various workarounds for Typed Racket, most of which are expected to be eventually obsolete This package needs documentation This package needs license metadata | succeeds; has dependency problems | 4 |
| -1749484706 | | implementation (no documentation) part of "typed-racket" This package needs documentation | | 4 |
| -1749484708 | | Types for various libraries This package needs documentation | | 4 |
| -1748157689 | | Mutable tresslists for typed racket This package needs documentation | succeeds | 4 |
| -1734404802 | | Streams for typed racket This package needs documentation | succeeds | 4 |
| -1749484710 | | tests for "typed-racket" This package needs documentation | | 4 |
| -1502815863 | | A partial version of 2htdp for Typed Racket This package needs license metadata | succeeds | 2 |
| -1722496965 | | Various utilities and helper functions I've found useful This package needs license metadata | succeeds | 2 |
| -1544906451 | | Concise Typed Racket syntax for declaring recursive data in BNF This package needs documentation This package needs license metadata | succeeds | 4 |
| -1693309502 | | Toolbox for C family in Typed Racket This package needs license metadata | succeeds | 2 |
| -1502812301 | | Function type annotation syntax for Typed Racket similar to Haskell This package needs license metadata | succeeds | 2 |
| -1734490335 | | data type syntax for typed/racket This package needs license metadata | succeeds | 2 |
| -1734490366 | | a lang-extension for debugging, and a macro for inserting a debug-repl | succeeds | 0 |
| -1743514519 | | Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed. This package needs license metadata | succeeds | 2 |
| -1750679576 New | | The (typed) core to construct the digital world This package needs license metadata | succeeds | 2 |
| -1743514529 | | Splits dotted identifiers like a.b.c, also supports λ<arg>.(code) syntax. Experimental (i.e. there may be small breaking changes in later versions). This package needs license metadata | succeeds | 2 |
| -1749664443 | | Essential computer graphics for Typed Racket This package needs license metadata | succeeds | 2 |
| -1685310437 | | Test correctness of typed/untyped interaction. This package needs license metadata | succeeds; has failing tests | 5 |
| -1645332013 | | Plots for gradual typing performance This package needs license metadata | succeeds | 2 |
| -1704805922 | | Type-safe interning of datatype in Typed Racket as a new sub-type of Index This package needs documentation This package needs license metadata | succeeds | 4 |
| -1702577308 | | A higher-level, typed wrapper around the irc package This package needs license metadata | succeeds; has dependency problems | 2 |
| -1734422811 | | A well-typed JSON parser for Typed Racket inspired by Type Provider This package needs documentation This package needs license metadata | succeeds | 4 |
| -1743351383 | | A domain-specific language for knitting patterns This package needs documentation | succeeds | 4 |
| -1743351386 | | A domain-specific language for knitting patterns. Implementation only: no documentation. This package needs documentation | succeeds | 4 |
| -1727050059 | | Faster, non-compliant YAML parser. | succeeds | 0 |
| -1726383277 | | Open XML for Microsoft Office This package needs license metadata | succeeds | 2 |
| -1619209907 | | Type provider for OpenAPI schemas. Generate well-typed client libraries in Typed Racket. This package needs license metadata | fails | 6 |
| -1633910208 | | Optimization Coach Plug-In for DrRacket | | 0 |
| -1743543476 | | 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
This package needs license metadata | fails | 6 |
| -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 This package needs license metadata | succeeds; has dependency problems | 4 |
| -1531745110 | | Read (and will write) Photoshop Documents This package needs license metadata | succeeds | 2 |
| -1750046172 | | Sources for http://racket-lang.org This package needs documentation This package needs tags This package needs license metadata | succeeds; has failing tests | 5 |
| -1744609191 | | Typed Racket interface to the RackUnit testing framework This package needs documentation | | 4 |
| -1710276042 | | require/typed, but skips contracts on already-typed imports This package needs license metadata | succeeds | 2 |
| -1688143232 | | A data modeling tool for Typed Racket This package needs license metadata | succeeds | 2 |
| -1657826715 | | Some conveniences for set, including fancy unicode aliases and more comprehension forms This package needs documentation This package needs license metadata | succeeds | 4 |
| -1749484644 | | find mappings from expanded to source syntax This package needs documentation | | 4 |
| -1731336864 | | quickly pull out struct fields This package needs license metadata | succeeds | 2 |
| -1728424409 | | A metalanguage for creating sophisticated DSLs This package needs tags | succeeds | 1 |
| -1748390601 | | This package needs a description This package needs tags | succeeds | 3 |
| -1748908676 | | 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. This package needs license metadata | succeeds | 2 |
| -1744256451 | | This package needs a description This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1729201775 | | type-tailored standard library functions This package needs license metadata | succeeds | 2 |
| -1502816494 | | Forms for giving specific argument names implicit types This package needs documentation This package needs license metadata | succeeds | 4 |
| -1748908686 | | Type expanders for typed/racket, which work like match expanders for match This package needs license metadata | succeeds | 2 |
| -1750697885 New | | Typed Ambiguous Operator | succeeds; has dependency problems | 0 |
| -1750658269 New | | Utilities for composing functions in Typed Racket. This package needs license metadata | succeeds | 2 |
| -1748157685 | | Queues for typed racket This package needs documentation | succeeds | 4 |
| -1750348696 | | Typed goto based on call/cc | succeeds; has dependency problems | 0 |
| -1750658270 New | | Typed interface for the generic graph library. This package needs license metadata | succeeds; has conflicts; has failing tests | 5 |
| -1748908689 | | Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1620073963 | | An implementation of miniKanren in typed racket. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1680735342 | | PMS formatting and parsing functions. Typed interface. This package needs documentation | succeeds | 4 |
| -1592461928 | | A simple stack library written in TR. This package needs license metadata | succeeds | 2 |
| -1748908693 | | 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. This package needs license metadata | succeeds | 2 |
| -1748908693 | | A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types. This package needs license metadata | succeeds | 2 |
| -1748247736 | | W3 Standards Implemented in Typed Racket This package needs license metadata | succeeds | 2 |
| -1617689977 | | a simple x64 assembler written in Typed Racket This package needs license metadata | succeeds | 2 |
| -1617689978 | | a simple x64 assembler written in Typed Racket This package needs documentation This package needs license metadata | succeeds | 4 |
| -1748908713 | | Fancy lists, with bounded or unbounded repetition of elements. Can be used as a type or match pattern. This package needs license metadata | succeeds | 2 |