Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pkgs.racket-lang.org "logic" keyword
Top 3.1% on pkgs.racket-lang.org
Latest release: 8 days ago - 35 stars on GitHub - 2 maintainers
froglet
A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.Latest release: 8 days ago - 35 stars on GitHub - 2 maintainers
Top 3.6% on pkgs.racket-lang.org
Latest release: 8 days ago - 35 stars on GitHub - 1 maintainer
forge
A model-finding language with Alloy-adjacent syntax.Latest release: 8 days ago - 35 stars on GitHub - 1 maintainer
parenlog
A language that is like Prolog, but parenthetical.Latest release: 10 days ago - 1 maintainer
impl-excl
Pre-compute procedures for fast checking of transitive implication and exclusion between simple p...Latest release: 11 days ago - 0 stars on GitHub - 1 maintainer
satore
First order logic theorem prover in CNF without equality but with atom rewrite rulesLatest release: 18 days ago - 1 stars on GitHub - 1 maintainer
icfp2017-minikanren
A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Ap...Latest release: 18 days ago - 1 stars on GitHub - 2 maintainers
Related Keywords