AlphaPeu commune
GaloisInc/ivory
The Ivory EDSL
- Propriétaire
- GaloisInc (organisation)
- Étoiles
- Étoiles : 417
- Forks
- Forks : 27
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2013
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de GaloisInc
Les 15 dépôts de GaloisInc- GaloisInc/cryptolÉtoiles : 1 227HaskellBêta
- GaloisInc/HaLVMÉtoiles : 1 069HaskellBêta
- GaloisInc/crucibleÉtoiles : 781HaskellBêta
- GaloisInc/saw-scriptÉtoiles : 525HaskellAlpha
- GaloisInc/swankyÉtoiles : 366SieveAlpha
- GaloisInc/reoptÉtoiles : 344LLVMAlpha
D’autres dépôts Haskell
Tous les dépôts Haskell- VictorTaelin/CaramelÉtoiles : 417HaskellAlpha
- lehins/massivÉtoiles : 417HaskellAlpha
- cdepillabout/termonadÉtoiles : 417HaskellAlpha
- jaspervdj/websocketsÉtoiles : 416HaskellAlpha