# GitHub repos by Certora

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

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

All 4 public GitHub repos by Certora in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by Certora

4 public repos by Certora in the catalog, most starred first.

- [Certora/CertoraProver · ★ 341 · 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 · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Certora/gambit)
- [Certora/Examples · ★ 211 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Certora/Examples)

## See Certora on GitHub

- [https://github.com/Certora](https://github.com/Certora)

---
Data: GitHub