BêtaRare
GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
- Propriétaire
- GaloisInc (organisation)
- Étoiles
- Étoiles : 781
- Forks
- Forks : 48
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2016
- Rang
- Bêta (700 à 1 999 ★) 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/saw-scriptÉtoiles : 525HaskellAlpha
- GaloisInc/ivoryÉtoiles : 417HaskellAlpha
- GaloisInc/swankyÉtoiles : 366SieveAlpha
- GaloisInc/reoptÉtoiles : 344LLVMAlpha
D’autres dépôts Haskell
Tous les dépôts Haskell- nick8325/quickcheckÉtoiles : 792HaskellBêta
- hspec/hspecÉtoiles : 785HaskellBêta
- ollef/sixtenÉtoiles : 785HaskellBêta
- snowleopard/algaÉtoiles : 763HaskellBêta
- zachjs/sv2vÉtoiles : 761HaskellBêta
- haskell-distributed/distributed-processÉtoiles : 755HaskellBêta