| -1502812301 | | Function type annotation syntax for Typed Racket similar to Haskell This package needs license metadata | succeeds | 2 |
| -1683812808 | | Dependent types and meta-programming This package needs license metadata | succeeds | 2 |
| -1625682883 | | The Pie language, used in The Little Typer This package needs license metadata | succeeds; has dependency problems; has failing tests | 5 |
| -1586275851 | | A little fork of the Pie language (adds `let` and `equal`). This package needs license metadata | fails | 6 |
| -1704806582 | | High-level, composable syntax for describing contracts. This package needs license metadata | succeeds | 2 |
| -1628016494 | | A tiny concatenative language with polymorphic type inference This package needs license metadata | succeeds | 2 |