Top 5.5% forks on proxy.golang.org
proxy.golang.org : github.com/pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/pythological/kanren
Keywords:
clp
, constraint-logic-programming
, logic-programming
, minikanren
, relational-programming
, symbolic-computation
License: GPL-1.0+
Latest release: 6 months ago
First release: about 2 years ago
Stars: 227 on GitHub
Forks: 24 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/brandonwillard
Last synced: 19 days ago