| -1625805610 | | Experimental RDBMS based on the Darwen & Date's D language This package needs documentation | fails | 5 |
| -1625805610 | | Documentation for Dallas This package needs documentation | fails | 5 |
| -1625805611 | | Dallas (implementation) This package needs documentation | fails | 5 |
| -1625805612 | | Tests for Dallas This package needs documentation | fails | 5 |
| -1625827412 | | A model-finding language with Alloy-adjacent syntax. This package needs documentation | succeeds; has failing tests | 4 |
| -1505334600 | | A solver-aided relational logic DSL | fails | 5 |
| -1620470077 | | An ORM kinda thing for Racket, without the objects. | fails | 5 |