# Certora/Examples

<https://repo.masters-masters.com/en/repos/Certora/Examples>

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

Certora/Examples has 211 stars on GitHub. Its RepoMasters card: Prototype tier. An index repository with submodules for different examples of Certora projects

| Field | Value |
| --- | --- |
| Owner | [Certora](https://repo.masters-masters.com/en/owners/Certora) |
| Stars | 211 |
| Forks | 51 |
| Language | [Solidity](https://repo.masters-masters.com/en/languages/solidity) |
| License | None |
| Created | 2022 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Certora/Examples](https://github.com/Certora/Examples) |

## Repository

An index repository with submodules for different examples of Certora projects

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

## More repos by Certora

- [Certora/CertoraProver · ★ 339 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/Certora/CertoraProver)
- [Certora/Tutorials · ★ 248 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Certora/Tutorials)
- [Certora/gambit · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Certora/gambit)

## Nearby in Solidity

- [divergencetech/ethier · ★ 212 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/divergencetech/ethier)
- [davidiola/nftx-bayc-flash-borrow · ★ 211 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/davidiola/nftx-bayc-flash-borrow)
- [Sol-DAO/solbase · ★ 211 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Sol-DAO/solbase)
- [huff-language/huff-project-template · ★ 210 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/huff-language/huff-project-template)
- [hackthebox/cyber-apocalypse-2025 · ★ 210 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/hackthebox/cyber-apocalypse-2025)

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