# Cyfrin/assembly-evm-opcodes-and-formal-verification-course

<https://repo.masters-masters.com/en/repos/Cyfrin/assembly-evm-opcodes-and-formal-verification-course>

[Home](https://repo.masters-masters.com/en) › [Cyfrin](https://repo.masters-masters.com/en/owners/Cyfrin) › [assembly-evm-opcodes-and-formal-verification-course](https://repo.masters-masters.com/en/repos/Cyfrin/assembly-evm-opcodes-and-formal-verification-course)

Cyfrin/assembly-evm-opcodes-and-formal-verification-course has 139 stars on GitHub. Its RepoMasters card: Prototype tier.

| Field | Value |
| --- | --- |
| Owner | [Cyfrin](https://repo.masters-masters.com/en/owners/Cyfrin) |
| Stars | 139 |
| Forks | 28 |
| Language | No language |
| License | GPL-3.0 |
| Created | 2024 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Cyfrin/assembly-evm-opcodes-and-formal-verification-course](https://github.com/Cyfrin/assembly-evm-opcodes-and-formal-verification-course) |

## Repository

No description.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by Cyfrin

- [Cyfrin/foundry-full-course-cu · ★ 5,880 · Stable](https://repo.masters-masters.com/en/repos/Cyfrin/foundry-full-course-cu)
- [Cyfrin/security-and-auditing-full-course-s23 · ★ 1,971 · Solidity · Beta](https://repo.masters-masters.com/en/repos/Cyfrin/security-and-auditing-full-course-s23)
- [Cyfrin/aderyn · ★ 804 · Rust · Beta](https://repo.masters-masters.com/en/repos/Cyfrin/aderyn)
- [Cyfrin/solidity-by-example.github.io · ★ 681 · TypeScript · Alpha](https://repo.masters-masters.com/en/repos/Cyfrin/solidity-by-example.github.io)
- [Cyfrin/sc-exploits-minimized · ★ 660 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/Cyfrin/sc-exploits-minimized)
- [Cyfrin/foundry-devops · ★ 653 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/Cyfrin/foundry-devops)

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