| -1763501983 | | Uma linguagem para Logica de primeira ordem This package needs license metadata | Racket | succeeds | 2 |
| -1766587827 | | A collection of implementations for algorithms and data structures in Racket. | Racket | fails | 6 |
| -1762879851 | | Coupling and logic to let and let* forms. | Racket | succeeds | 0 |
| -1674501348 | | This package needs a description This package needs tags This package needs license metadata | Racket | succeeds; has failing tests | 5 |
| -1502815948 | | The Zenburn colorscheme for DrRacket. This package needs documentation This package needs license metadata | Racket | 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 | Racket | succeeds | 2 |
| -1772822131 | | A model-finding language with Alloy-adjacent syntax. This package needs documentation | Racket | succeeds; has dependency problems; has failing tests | 5 |
| -1726065356 | | "Functionally oriented" educational language This package needs documentation This package needs tags This package needs license metadata | Racket | fails | 6 |
| -1772822138 | | A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge. This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1772566960 | | 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 | Racket | 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 | Racket | succeeds | 4 |
| -1776960528 | | Some utilities for generating LaTeX markup of various descriptions. This package needs license metadata | Racket | succeeds | 2 |
| -1757418123 | | Interfaces for category theory concepts. (lib) This package needs license metadata | Racket | fails | 6 |
| -1763578404 | | This package needs a description This package needs tags This package needs license metadata | Racket | succeeds; has failing tests | 5 |
| -1763578405 | | This package needs a description This package needs tags This package needs license metadata | Racket | succeeds | 3 |
| -1755032546 | | This package needs a description This package needs tags This package needs license metadata | Racket | succeeds; has dependency problems | 3 |
| -1755032548 | | This package needs a description This package needs tags This package needs license metadata | Racket | succeeds; has dependency problems | 3 |
| -1761406945 | | A #lang implementation of the Lua programming language. (implementation only) This package needs documentation | Racket | succeeds; has conflicts | 4 |
| -1688578420 | | A Planet 2 package for minikanren This package needs license metadata | Racket | succeeds | 2 |
| -1670021071 | | Racket non-determinism This package needs documentation This package needs license metadata | Racket | succeeds; has dependency problems | 4 |
| -1728010052 | | A solver-aided relational logic DSL This package needs license metadata | Racket | fails | 6 |
| -1513635359 | | A language that is like Prolog, but parenthetical. This package needs license metadata | Racket | 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 | Racket | succeeds | 2 |
| -1502816341 | | A fairly simple quad-tree implementation. Nothing terribly fancy. Currently rather unstable. This package needs documentation This package needs license metadata | Racket | succeeds | 4 |
| -1770565458 | | A library composed of predicate functions This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1737144680 | | Generic interfaces and convenient utilities for using relations. [docs only] This package needs license metadata | Racket | succeeds | 2 |
| -1737144681 | | Generic interfaces and convenient utilities for using relations. [implementation only] This package needs license metadata | Racket | succeeds | 2 |
| -1737144683 | | Generic interfaces and convenient utilities for using relations. [tests only] This package needs license metadata | Racket | succeeds | 2 |
| -1728190170 | | First order logic theorem prover in CNF without equality but with atom rewrite rules This package needs license metadata | Racket | succeeds | 2 |
| -1757569466 | | A meta-language for assembling a file with custom preprocessing logic. This package needs license metadata | Racket | fails | 6 |
| -1757569468 | | A meta-language for assembling a file with custom preprocessing logic. (doc) This package needs license metadata | Racket | fails | 6 |
| -1757569469 | | A meta-language for assembling a file with custom preprocessing logic. (lib) This package needs license metadata | Racket | fails | 6 |
| -1757569471 | | A meta-language for assembling a file with custom preprocessing logic. (test) This package needs license metadata | Racket | fails | 6 |
| -1706550081 | | Shell pipeline library | Racket | succeeds | 0 |
| -1779874548 | | A complete Racket port of SPINdle (v2.2.4), a defeasible logic reasoning system for non-monotonic reasoning where conclusions can be defeated by stronger evidence or superior rules. | Racket | succeeds; has dependency problems; has failing tests | 5 |
| -1751381995 | | This package needs a description This package needs tags This package needs license metadata | Racket | succeeds | 3 |
| -1779210642 | | implementation (no documentation) part of "typed-racket" | Racket | | 0 |
| -1779210648 | | tests for "typed-racket" | Racket | | 0 |
| -1521803934 | | - This package needs license metadata | Racket | succeeds; has dependency problems | 2 |