# nomeata/incredible

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

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

nomeata/incredible has 398 stars on GitHub. Its RepoMasters card: Alpha tier. The Incredible Proof Machine Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [nomeata](https://repo.masters-masters.com/en/owners/nomeata) |
| Stars | 398 |
| Forks | 41 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | MIT |
| Created | 2015 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [nomeata/incredible](https://github.com/nomeata/incredible) |

## Repository

The Incredible Proof Machine

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by nomeata

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

## Nearby in Haskell

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

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