# webyrd/miniKanren-with-symbolic-constraints

<https://repo.masters-masters.com/en/repos/webyrd/miniKanren-with-symbolic-constraints>

[Home](https://repo.masters-masters.com/en) › [webyrd](https://repo.masters-masters.com/en/owners/webyrd) › [miniKanren-with-symbolic-constraints](https://repo.masters-masters.com/en/repos/webyrd/miniKanren-with-symbolic-constraints)

webyrd/miniKanren-with-symbolic-constraints has 167 stars on GitHub. Its RepoMasters card: Prototype tier. Version of miniKanren I normally use. Has ==, =/=…

| Field | Value |
| --- | --- |
| Owner | [webyrd](https://repo.masters-masters.com/en/owners/webyrd) |
| Stars | 167 |
| Forks | 24 |
| Language | [Scheme](https://repo.masters-masters.com/en/languages/scheme) |
| License | MIT |
| Created | 2015 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [webyrd/miniKanren-with-symbolic-constraints](https://github.com/webyrd/miniKanren-with-symbolic-constraints) |

## Repository

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by webyrd

- [webyrd/Barliman · ★ 1,086 · Scheme · Beta](https://repo.masters-masters.com/en/repos/webyrd/Barliman)
- [webyrd/mediKanren · ★ 338 · Racket · Alpha](https://repo.masters-masters.com/en/repos/webyrd/mediKanren)
- [webyrd/miniKanren · ★ 132 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/webyrd/miniKanren)
- [webyrd/quines · ★ 131 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/webyrd/quines)

## Nearby in Scheme

- [geosolutions-it/osm-styles · ★ 168 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/geosolutions-it/osm-styles)
- [klutometis/aima · ★ 167 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/klutometis/aima)
- [schemedoc/bibliography · ★ 167 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/schemedoc/bibliography)
- [nlextract/NLExtract · ★ 166 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/nlextract/NLExtract)
- [strint/sicpAns · ★ 165 · Scheme · Prototype](https://repo.masters-masters.com/en/repos/strint/sicpAns)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.