spindle

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.

Build status: ok dependency problems failing tests valid license

Documentation README Download
Authors
Documentation
Tags
License
Last updatedWednesday, January 21st, 2026 8:57:10am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit+https://codeberg.org/anuna/spindle-racket#maindde7f99f7df0830f62f47dada9fa2d8f8b23c7bd
Last checkedThursday, January 22nd, 2026 6:58:30pm (UTC)
Last editedWednesday, January 14th, 2026 11:26:24pm (UTC)
Date addedWednesday, January 14th, 2026 11:26:24pm (UTC)
Modules
  • spindle/scribblings/reference/dfl.scrbl
  • spindle/src/spindle.rkt
  • spindle/tests/mining-tests.rkt
  • spindle/tests/lang/test-spl-integration.rkt
  • spindle/src/query/cli/diff.rkt
  • spindle/demo.rkt
  • spindle/scribblings/advanced.scrbl
  • spindle/tests/performance-test.rkt
  • spindle/tests/moment-temporal-tests.rkt
  • spindle/lang/reader.rkt
  • spindle/scribblings/guide.scrbl
  • spindle/src/parser/lexer.rkt
  • spindle/src/grounding.rkt
  • spindle/src/query/what-if.rkt
  • spindle/src/query/cli/main.rkt
  • spindle/expander.rkt
  • spindle/src/mining/dfl-convert.rkt
  • spindle/tests/query/abduction-test.rkt
  • spindle/src/query/explain.rkt
  • spindle/tests/run-tests.rkt
  • spindle/src/query/metadata.rkt
  • spindle/src/parser/ast.rkt
  • spindle/src/trust/source.rkt
  • spindle/examples/run-penguin.rkt
  • spindle/tests/query/cli-test.rkt
  • spindle/src/query/validate.rkt
  • spindle/src/trust/staging.rkt
  • spindle/src/mining/result.rkt
  • spindle/tests/query/trust-eval-test.rkt
  • spindle/scribblings/reference/explanation.scrbl
  • spindle/src/trust.rkt
  • spindle/main.rkt
  • spindle/scribblings/examples.scrbl
  • spindle/src/lang/spl-lexer.rkt
  • spindle/tests/spindle-tests.rkt
  • spindle/tests/source-identity-tests.rkt
  • spindle/src/query/structs.rkt
  • spindle/src/trust/policy.rkt
  • spindle/src/mining/event-log.rkt
  • spindle/examples/trust-demo-simple.rkt
  • spindle/tests/query/integration-test.rkt
  • spindle/tests/trust-reason-tests.rkt
  • spindle/src/parser/main.rkt
  • spindle/scribblings/reference/core.scrbl
  • spindle/src/mining/conflicts.rkt
  • spindle/src/moment.rkt
  • spindle/tests/query/query-test.rkt
  • spindle/src/lang/keywords.rkt
  • spindle/src/query/query.rkt
  • spindle/src/temporal.rkt
  • spindle/src/lang/main.rkt
  • spindle/scribblings/spindle.scrbl
  • spindle/src/trust/reason.rkt
  • spindle/src/unified.rkt
  • spindle/tests/query/validate-test.rkt
  • spindle/examples/unified-demo.rkt
  • spindle/src/query/cli/export.rkt
  • spindle/tests/import-tests.rkt
  • spindle/mining.rkt
  • spindle/src/lang/spl-parser.rkt
  • spindle/src/trust/structs.rkt
  • spindle/src/query/cli/watch.rkt
  • spindle/tests/lang/test-lang-spindle.rkt
  • spindle/src/mining/alpha.rkt
  • spindle/tests/explanation-tests.rkt
  • spindle/scribblings/reference/query.scrbl
  • spindle/tests/test-format-equivalence.rkt
  • spindle/scribblings/reference/spl.scrbl
  • spindle/src/mining/main.rkt
  • spindle/specs/explanation-poc.rkt
  • spindle/scribblings/reference/mining.scrbl
  • spindle/src/parser/parser.rkt
  • spindle/src/mining/footprint.rkt
  • spindle/src/explanation.rkt
  • spindle/tests/temporal-allen-tests.rkt
  • spindle/examples/trust-reasoning-demo.rkt
  • spindle/src/query/why-not.rkt
  • spindle/src/query/repl.rkt
  • spindle/tests/query/structs-test.rkt
  • spindle/src/query/abduction.rkt