AlphaUncommon
GaloisInc/ivory
The Ivory EDSL
- Owner
- GaloisInc (organization)
- Stars
- Stars: 417
- Forks
- Forks: 27
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2013
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by GaloisInc
All 15 repos by GaloisInc- GaloisInc/cryptolStars: 1,227HaskellBeta
- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/crucibleStars: 781HaskellBeta
- GaloisInc/saw-scriptStars: 525HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
- GaloisInc/reoptStars: 344LLVMAlpha
Nearby in Haskell
All Haskell repos- VictorTaelin/CaramelStars: 417HaskellAlpha
- lehins/massivStars: 417HaskellAlpha
- cdepillabout/termonadStars: 417HaskellAlpha
- jaspervdj/websocketsStars: 416HaskellAlpha