BêtaRare
a16z/halmos
A symbolic testing tool for EVM smart contracts
- Propriétaire
- a16z (organisation)
- Étoiles
- Étoiles : 1 042
- Forks
- Forks : 118
- Langage
- Python
- Licence
- AGPL-3.0
- Création
- 2022
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de a16z
Les 16 dépôts de a16z- a16z/heliosÉtoiles : 2 194RustRC
- a16z/joltÉtoiles : 1 059RustBêta
- a16z/awesome-farcasterÉtoiles : 814Bêta
- a16z/zkdropsÉtoiles : 763JavaScriptBêta
- a16z/magiÉtoiles : 638RustAlpha
- a16z/nft-analyst-starter-packÉtoiles : 460PythonAlpha
D’autres dépôts Python
Tous les dépôts Python- SCIR-HI/Med-ChatGLMÉtoiles : 1 042PythonBêta
- PhonePe/mantisÉtoiles : 1 042PythonBêta
- BrasD99/HeyGenCloneÉtoiles : 1 042PythonBêta
- asingh33/CNNGestureRecognizerÉtoiles : 1 042PythonBêta
- facebookresearch/FixResÉtoiles : 1 042PythonBêta
- descriptinc/melgan-neuripsÉtoiles : 1 042PythonBêta