# nomeata/incredible

<https://repo.masters-masters.com/repos/nomeata/incredible>

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

nomeata/incredible, dépôt open source à 398 étoiles sur GitHub. Carte Alpha de RepoMasters. The Incredible Proof Machine Langage : Haskell.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [nomeata](https://repo.masters-masters.com/owners/nomeata) |
| Étoiles | 398 |
| Forks | 41 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | MIT |
| Création | 2015 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [nomeata/incredible](https://github.com/nomeata/incredible) |

## Fiche du dépôt

The Incredible Proof Machine

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de nomeata

- [nomeata/arbtt · ★ 365 · Haskell · Alpha](https://repo.masters-masters.com/repos/nomeata/arbtt)
- [nomeata/inspection-testing · ★ 192 · Haskell · Prototype](https://repo.masters-masters.com/repos/nomeata/inspection-testing)
- [nomeata/loogle · ★ 160 · Lean · Prototype](https://repo.masters-masters.com/repos/nomeata/loogle)
- [nomeata/ghc-proofs · ★ 145 · Haskell · Prototype](https://repo.masters-masters.com/repos/nomeata/ghc-proofs)
- [nomeata/udp-broadcast-relay · ★ 133 · C · Prototype](https://repo.masters-masters.com/repos/nomeata/udp-broadcast-relay)
- [nomeata/ghc-justdoit · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/repos/nomeata/ghc-justdoit)

## D’autres dépôts Haskell

- [bitemyapp/esqueleto · ★ 400 · Haskell · Alpha](https://repo.masters-masters.com/repos/bitemyapp/esqueleto)
- [nix-community/nix-vscode-extensions · ★ 399 · Haskell · Alpha](https://repo.masters-masters.com/repos/nix-community/nix-vscode-extensions)
- [haskell-numerics/hmatrix · ★ 398 · Haskell · Alpha](https://repo.masters-masters.com/repos/haskell-numerics/hmatrix)
- [ehatti/peridot · ★ 393 · Haskell · Alpha](https://repo.masters-masters.com/repos/ehatti/peridot)
- [ekmett/ad · ★ 390 · Haskell · Alpha](https://repo.masters-masters.com/repos/ekmett/ad)
- [well-typed/optics · ★ 389 · Haskell · Alpha](https://repo.masters-masters.com/repos/well-typed/optics)

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