Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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.

Ecosystem
pkgs.racket-lang.org
Versions
0
Links
Registry pkgs.racket-lang.org
Docs Documentation
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:racket/spindle
spec
License
Last Synced about 17 hours ago
Keywords
dsl logic