| -1582104670 | | Conditional contracts for Racket | succeeds | 0 |
| -1634193264 | | Miscellaneous contracts. | succeeds | 0 |
| -1620529133 | | Dynamically bound contracts. | succeeds | 0 |
| -1502815869 | | A REPL that prints contracts on values This package needs documentation | succeeds | 3 |
| -1602896023 | | 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. | succeeds | 0 |
| -1615519636 | | Interfaces for category theory concepts. | succeeds | 0 |
| -1615519624 | | Interfaces for category theory concepts. (doc) | succeeds | 0 |
| -1615519612 | | Interfaces for category theory concepts. (lib) This package needs documentation | succeeds | 3 |
| -1615519601 | | Interfaces for category theory concepts. (test) This package needs documentation | succeeds | 3 |
| -1587139905 | | require/typed, but skips contracts on already-typed imports | succeeds | 0 |
| -1502816428 | | Syntax and utilities for writing function contracts as signatures | succeeds | 0 |
| -1630431857 | | High-level, composable syntax for describing contracts. | succeeds | 0 |
| -1502816474 | | temporal contracts | succeeds | 0 |
| -1502816475 | | temporal contracts | succeeds | 0 |
| -1502816475 | | temporal contracts This package needs documentation | succeeds | 3 |
| -1502816475 | | temporal contracts This package needs documentation | succeeds; has failing tests | 4 |
| -1559185264 | | Dynamic enforcement of size-change termination This package needs documentation | succeeds; has failing tests | 4 |