-1648643731 | | Experimental RDBMS based on the Darwen & Date's D language | succeeds | 0 |
-1648643732 | | Documentation for Dallas | succeeds | 0 |
-1648643732 | | Dallas (implementation) This package needs documentation | succeeds | 3 |
-1648643733 | | Tests for Dallas This package needs documentation | succeeds | 3 |
-1651775306 | | 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 |