| -1582104670 | | Conditional contracts for Racket This package needs license metadata | succeeds | 2 |
| -1715904037 | | Miscellaneous contracts. This package needs license metadata | succeeds | 2 |
| -1502815869 | | A REPL that prints contracts on values This package needs documentation This package needs license metadata | succeeds | 4 |
| -1680553489 | | This package presents a tool that converts defensive programming
into equivalent contracts. Currently, the tool is still at its infancy
and have not been tested on many code bases. The sample folder contains
some example files to get you started. So far I have exposed two functions
that allows you to input a path and either returns the raw result or load up
a GUI that allows you to change a file. This package needs license metadata | succeeds | 2 |
| -1643006635 | | Interfaces for category theory concepts. This package needs license metadata | succeeds | 2 |
| -1643006635 | | Interfaces for category theory concepts. (doc) This package needs license metadata | succeeds | 2 |
| -1704805979 | | Interfaces for category theory concepts. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1704805985 | | Interfaces for category theory concepts. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1710276042 | | require/typed, but skips contracts on already-typed imports This package needs license metadata | succeeds | 2 |
| -1502816428 | | Syntax and utilities for writing function contracts as signatures This package needs license metadata | succeeds | 2 |
| -1704806582 | | High-level, composable syntax for describing contracts. This package needs license metadata | succeeds | 2 |
| -1502816474 | | temporal contracts This package needs license metadata | succeeds | 2 |
| -1502816475 | | temporal contracts This package needs license metadata | succeeds | 2 |
| -1502816475 | | temporal contracts This package needs documentation This package needs license metadata | succeeds | 4 |
| -1502816475 | | temporal contracts This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |
| -1559185264 | | Dynamic enforcement of size-change termination This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |