| -1648643731 | | Experimental RDBMS based on the Darwen & Date's D language This package needs license metadata | succeeds | 2 |
| -1648643732 | | Documentation for Dallas This package needs license metadata | succeeds | 2 |
| -1648643732 | | Dallas (implementation) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1648643733 | | Tests for Dallas This package needs documentation This package needs license metadata | succeeds | 4 |
| -1675181847 | | A model-finding language with Alloy-adjacent syntax. This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |
| -1675181862 | | A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge. This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |
| -1505334600 | | A solver-aided relational logic DSL This package needs license metadata | fails | 6 |
| -1662203766 | | An ORM kinda thing for Racket, without the objects. This package needs license metadata | fails | 6 |