# a16z/halmos

<https://repo.masters-masters.com/repos/a16z/halmos>

[Accueil](https://repo.masters-masters.com/) › [a16z](https://repo.masters-masters.com/owners/a16z) › [halmos](https://repo.masters-masters.com/repos/a16z/halmos)

a16z/halmos, dépôt open source à 1 042 étoiles sur GitHub. Carte Bêta de RepoMasters. A symbolic testing tool for EVM smart contracts Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [a16z](https://repo.masters-masters.com/owners/a16z) |
| Étoiles | 1 042 |
| Forks | 118 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | AGPL-3.0 |
| Création | 2022 |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [a16z/halmos](https://github.com/a16z/halmos) |

## Fiche du dépôt

A symbolic testing tool for EVM smart contracts

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de a16z

- [a16z/helios · ★ 2 194 · Rust · RC](https://repo.masters-masters.com/repos/a16z/helios)
- [a16z/jolt · ★ 1 059 · Rust · Bêta](https://repo.masters-masters.com/repos/a16z/jolt)
- [a16z/awesome-farcaster · ★ 814 · Bêta](https://repo.masters-masters.com/repos/a16z/awesome-farcaster)
- [a16z/zkdrops · ★ 763 · JavaScript · Bêta](https://repo.masters-masters.com/repos/a16z/zkdrops)
- [a16z/magi · ★ 638 · Rust · Alpha](https://repo.masters-masters.com/repos/a16z/magi)
- [a16z/nft-analyst-starter-pack · ★ 460 · Python · Alpha](https://repo.masters-masters.com/repos/a16z/nft-analyst-starter-pack)

## D’autres dépôts Python

- [SCIR-HI/Med-ChatGLM · ★ 1 042 · Python · Bêta](https://repo.masters-masters.com/repos/SCIR-HI/Med-ChatGLM)
- [PhonePe/mantis · ★ 1 042 · Python · Bêta](https://repo.masters-masters.com/repos/PhonePe/mantis)
- [BrasD99/HeyGenClone · ★ 1 042 · Python · Bêta](https://repo.masters-masters.com/repos/BrasD99/HeyGenClone)
- [asingh33/CNNGestureRecognizer · ★ 1 042 · Python · Bêta](https://repo.masters-masters.com/repos/asingh33/CNNGestureRecognizer)
- [facebookresearch/FixRes · ★ 1 042 · Python · Bêta](https://repo.masters-masters.com/repos/facebookresearch/FixRes)
- [descriptinc/melgan-neurips · ★ 1 042 · Python · Bêta](https://repo.masters-masters.com/repos/descriptinc/melgan-neurips)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.