| -1742600152 | | Coupling and logic to let and let* forms. This package needs license metadata | succeeds | 2 |
| -1728010052 | | A solver-aided relational logic DSL This package needs license metadata | fails | 6 |
| -1728190170 | | First order logic theorem prover in CNF without equality but with atom rewrite rules This package needs license metadata | succeeds | 2 |
| -1737210787 | | A meta-language for assembling a file with custom preprocessing logic. This package needs license metadata | succeeds | 2 |
| -1737210790 | | A meta-language for assembling a file with custom preprocessing logic. (doc) This package needs license metadata | succeeds | 2 |
| -1737210791 | | A meta-language for assembling a file with custom preprocessing logic. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210792 | | A meta-language for assembling a file with custom preprocessing logic. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1683812624 | | Uma linguagem para Logica de primeira ordem This package needs license metadata | succeeds | 2 |
| -1674501348 | | This package needs a description This package needs documentation This package needs tags This package needs license metadata | succeeds; has failing tests | 5 |
| -1502815948 | | The Zenburn colorscheme for DrRacket. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1704805714 | | A package defining "expectations", first-class assertions about values for use in validation and unit testing with high quality error messages. Currently experimental. This package needs license metadata | succeeds | 2 |
| -1740503784 | | A model-finding language with Alloy-adjacent syntax. This package needs documentation | succeeds; has failing tests | 5 |
| -1726065356 | | "Functionally oriented" educational language This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1740503790 | | A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1596548000 | | A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1596548002 | | Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates This package needs documentation This package needs license metadata | succeeds | 4 |
| -1502816147 | | Some utilities for generating LaTeX markup of various descriptions. This package needs license metadata | succeeds | 2 |
| -1737210617 | | Interfaces for category theory concepts. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1744054706 | | This package needs a description This package needs tags This package needs license metadata | succeeds; has dependency problems | 3 |
| -1744054708 | | This package needs a description This package needs documentation This package needs tags This package needs license metadata | succeeds; has dependency problems | 4 |
| -1742195001 | | A #lang implementation of the Lua programming language. (implementation only) This package needs documentation | succeeds; has conflicts | 4 |
| -1688578420 | | A Planet 2 package for minikanren This package needs license metadata | succeeds | 2 |
| -1670021071 | | Racket non-determinism This package needs documentation This package needs license metadata | succeeds; has dependency problems | 4 |
| -1513635359 | | A language that is like Prolog, but parenthetical. This package needs license metadata | succeeds; has dependency problems | 2 |
| -1637108182 | | Deprecated. A library for constructing predicates in a point-free style. Unmaintained, and racket/function now supplies functions that make parts of this unnecessary. This package needs license metadata | succeeds | 2 |
| -1502816341 | | A fairly simple quad-tree implementation. Nothing terribly fancy. Currently rather unstable. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1608349275 | | A library composed of predicate functions This package needs license metadata | fails | 6 |
| -1737144680 | | Generic interfaces and convenient utilities for using relations. [docs only] This package needs license metadata | succeeds | 2 |
| -1737144681 | | Generic interfaces and convenient utilities for using relations. [implementation only] This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737144683 | | Generic interfaces and convenient utilities for using relations. [tests only] This package needs documentation This package needs license metadata | succeeds | 4 |
| -1706550081 | | Shell pipeline library | succeeds | 0 |
| -1744256449 | | This package needs a description This package needs tags This package needs license metadata | fails | 6 |
| -1743777928 | | implementation (no documentation) part of "typed-racket" This package needs documentation | | 4 |
| -1743777932 | | tests for "typed-racket" This package needs documentation | | 4 |
| -1521803934 | | - This package needs license metadata | succeeds; has dependency problems | 2 |