# a16z/halmos

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

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

a16z/halmos has 1,042 stars on GitHub. Its RepoMasters card: Beta tier. A symbolic testing tool for EVM smart contracts Language: Python.

| Field | Value |
| --- | --- |
| Owner | [a16z](https://repo.masters-masters.com/en/owners/a16z) |
| Stars | 1,042 |
| Forks | 118 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | AGPL-3.0 |
| Created | 2022 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [a16z/halmos](https://github.com/a16z/halmos) |

## Repository

A symbolic testing tool for EVM smart contracts

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by a16z

- [a16z/helios · ★ 2,195 · Rust · RC](https://repo.masters-masters.com/en/repos/a16z/helios)
- [a16z/jolt · ★ 1,060 · Rust · Beta](https://repo.masters-masters.com/en/repos/a16z/jolt)
- [a16z/awesome-farcaster · ★ 814 · Beta](https://repo.masters-masters.com/en/repos/a16z/awesome-farcaster)
- [a16z/zkdrops · ★ 763 · JavaScript · Beta](https://repo.masters-masters.com/en/repos/a16z/zkdrops)
- [a16z/magi · ★ 638 · Rust · Alpha](https://repo.masters-masters.com/en/repos/a16z/magi)
- [a16z/nft-analyst-starter-pack · ★ 460 · Python · Alpha](https://repo.masters-masters.com/en/repos/a16z/nft-analyst-starter-pack)

## Nearby in Python

- [SCIR-HI/Med-ChatGLM · ★ 1,042 · Python · Beta](https://repo.masters-masters.com/en/repos/SCIR-HI/Med-ChatGLM)
- [PhonePe/mantis · ★ 1,042 · Python · Beta](https://repo.masters-masters.com/en/repos/PhonePe/mantis)
- [BrasD99/HeyGenClone · ★ 1,042 · Python · Beta](https://repo.masters-masters.com/en/repos/BrasD99/HeyGenClone)
- [GNS3/gns3-server · ★ 1,042 · Python · Beta](https://repo.masters-masters.com/en/repos/GNS3/gns3-server)
- [asingh33/CNNGestureRecognizer · ★ 1,042 · Python · Beta](https://repo.masters-masters.com/en/repos/asingh33/CNNGestureRecognizer)
- [facebookresearch/FixRes · ★ 1,042 · Python · Beta](https://repo.masters-masters.com/en/repos/facebookresearch/FixRes)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.