# eyereasoner/eye

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

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

eyereasoner/eye, dépôt open source à 179 étoiles sur GitHub. Carte Prototype de RepoMasters. Euler Yet another proof Engine Langage : Prolog.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [eyereasoner](https://repo.masters-masters.com/owners/eyereasoner) |
| Étoiles | 179 |
| Forks | 19 |
| Langage | [Prolog](https://repo.masters-masters.com/languages/prolog) |
| Licence | MIT |
| Création | 2019 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [eyereasoner/eye](https://github.com/eyereasoner/eye) |

## Fiche du dépôt

Euler Yet another proof Engine

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Prolog

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.