# eyereasoner/eye

<https://repo.masters-masters.com/en/repos/eyereasoner/eye>

[Home](https://repo.masters-masters.com/en) › [eyereasoner](https://repo.masters-masters.com/en/owners/eyereasoner) › [eye](https://repo.masters-masters.com/en/repos/eyereasoner/eye)

eyereasoner/eye has 179 stars on GitHub. Its RepoMasters card: Prototype tier. Euler Yet another proof Engine Language: Prolog.

| Field | Value |
| --- | --- |
| Owner | [eyereasoner](https://repo.masters-masters.com/en/owners/eyereasoner) |
| Stars | 179 |
| Forks | 19 |
| Language | [Prolog](https://repo.masters-masters.com/en/languages/prolog) |
| License | MIT |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [eyereasoner/eye](https://github.com/eyereasoner/eye) |

## Repository

Euler Yet another proof Engine

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

## Nearby in Prolog

- [triska/clpfd · ★ 195 · Prolog · Prototype](https://repo.masters-masters.com/en/repos/triska/clpfd)
- [strangeloop/StrangeLoop2014 · ★ 188 · Prolog · Prototype](https://repo.masters-masters.com/en/repos/strangeloop/StrangeLoop2014)
- [simply-logical/simply-logical · ★ 187 · Prolog · Prototype](https://repo.masters-masters.com/en/repos/simply-logical/simply-logical)
- [mcsoto/cosmos · ★ 177 · Prolog · Prototype](https://repo.masters-masters.com/en/repos/mcsoto/cosmos)
- [gooofy/zamia-ai · ★ 169 · Prolog · Prototype](https://repo.masters-masters.com/en/repos/gooofy/zamia-ai)
- [needleful/c\_plus\_prolog · ★ 169 · Prolog · Prototype](https://repo.masters-masters.com/en/repos/needleful/c_plus_prolog)

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