| -1565401786 | | Algebraic Racket | succeeds | 0 |
| -1614511295 | | 超能力工具箱 | succeeds; has failing tests | 4 |
| -1502815866 | | #%app syntax for function composition, (a .. b .. c) => (lambda (v) (a (b (c v)))) | succeeds | 0 |
| -1596547946 | | generic interfaces and data structures for functional programming | succeeds | 0 |
| -1596547946 | | documentation (no implementation) for “functional” | succeeds | 0 |
| -1596547946 | | implementation (no documentation) for “functional” This package needs documentation | succeeds | 3 |
| -1613082240 | | An implicit functional reactive model based on MaiaVictor's PureState library | succeeds | 0 |
| -1600540670 | | A lambda-calculus DSL in Racket | succeeds | 0 |
| -1611911930 | | Interfaces for category theory concepts. | succeeds | 0 |
| -1611911931 | | Interfaces for category theory concepts. (doc) | succeeds | 0 |
| -1611911931 | | Interfaces for category theory concepts. (lib) This package needs documentation | succeeds | 3 |
| -1611911932 | | Interfaces for category theory concepts. (test) This package needs documentation | succeeds | 3 |
| -1602642462 | | Lightweight, general-purpose utilities for working with tree-structured data. | succeeds | 0 |
| -1568145120 | | Composable, functional lenses | succeeds | 0 |
| -1568145120 | | Base lens constructors and additional combinators This package needs documentation | succeeds | 3 |
| -1568145121 | | Lens constructors for various Racket data structures This package needs documentation | succeeds | 3 |
| -1568145122 | | Documentation for the lens libraries | succeeds | 0 |
| -1568145122 | | Implementation (no docs) of the lens library, includes lens-data and lens-common This package needs documentation | succeeds | 3 |
| -1568145123 | | Unstable and experimental features for lenses This package needs documentation | succeeds | 3 |
| -1511370592 | | A library for easier and more powerful function composition | succeeds | 0 |
| -1502816326 | | Deprecated. A library for constructing predicates in a point-free style. Unmaintained, and racket/function now supplies functions that make parts of this unnecessary. | succeeds | 0 |
| -1608349275 | | A library composed of predicate functions | fails | 5 |
| -1555924053 | | Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions. | succeeds | 0 |