PrototypeCommon
webyrd/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
- Owner
- webyrd (personal account)
- Stars
- Stars: 167
- Forks
- Forks: 24
- Language
- Scheme
- License
- MIT
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by webyrd
All 5 repos by webyrd- webyrd/BarlimanStars: 1,086SchemeBeta
- webyrd/mediKanrenStars: 338RacketAlpha
- webyrd/miniKanrenStars: 132SchemePrototype
- webyrd/quinesStars: 131SchemePrototype
Nearby in Scheme
All Scheme repos- geosolutions-it/osm-stylesStars: 168SchemePrototype
- klutometis/aimaStars: 167SchemePrototype
- schemedoc/bibliographyStars: 167SchemePrototype
- nlextract/NLExtractStars: 166SchemePrototype
- strint/sicpAnsStars: 165SchemePrototype