AlphaPeu commune
nomeata/incredible
The Incredible Proof Machine
- Propriétaire
- nomeata (compte personnel)
- Étoiles
- Étoiles : 398
- Forks
- Forks : 41
- Langage
- Haskell
- Licence
- MIT
- Création
- 2015
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de nomeata
Les 8 dépôts de nomeata- nomeata/arbttÉtoiles : 365HaskellAlpha
- nomeata/inspection-testingÉtoiles : 192HaskellPrototype
- nomeata/loogleÉtoiles : 160LeanPrototype
- nomeata/ghc-proofsÉtoiles : 145HaskellPrototype
- nomeata/udp-broadcast-relayÉtoiles : 133CPrototype
- nomeata/ghc-justdoitÉtoiles : 125HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- bitemyapp/esqueletoÉtoiles : 400HaskellAlpha
- nix-community/nix-vscode-extensionsÉtoiles : 399HaskellAlpha
- haskell-numerics/hmatrixÉtoiles : 398HaskellAlpha
- ehatti/peridotÉtoiles : 393HaskellAlpha
- ekmett/adÉtoiles : 390HaskellAlpha
- well-typed/opticsÉtoiles : 389HaskellAlpha