| -1502815869 | | A REPL that prints contracts on values This package needs documentation | | 3 |
| -1527738540 | | require/typed, but skips contracts on already-typed imports This package needs documentation | | 3 |
| -1502816428 | | Syntax and utilities for writing function contracts as signatures This package needs documentation | | 3 |
| -1502816474 | | temporal contracts This package needs documentation | | 3 |
| -1502816475 | | temporal contracts This package needs documentation | | 3 |
| -1502816475 | | temporal contracts This package needs documentation | | 3 |
| -1502816475 | | temporal contracts This package needs documentation | | 3 |
| -1542413987 | | Dynamic enforcement of size-change termination This package needs documentation | | 3 |