| -1683812815 | | Experimental RDBMS based on the Darwen & Date's D language This package needs license metadata | succeeds | 2 |
| -1683812817 | | Documentation for Dallas This package needs license metadata | succeeds | 2 |
| -1683812818 | | Dallas (implementation) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1683812819 | | Tests for Dallas This package needs documentation This package needs license metadata | succeeds | 4 |
| -1689532359 | | A model-finding language with Alloy-adjacent syntax. This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |
| -1689532375 | | 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 |