# GitHub repos by AeneasVerif

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

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

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

## GitHub repos by AeneasVerif

3 public repos by AeneasVerif in the catalog, most starred first.

- [AeneasVerif/aeneas · ★ 1,152 · OCaml · Beta](https://repo.masters-masters.com/en/repos/AeneasVerif/aeneas)
- [AeneasVerif/charon · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/AeneasVerif/charon)
- [AeneasVerif/eurydice · ★ 437 · C · Alpha](https://repo.masters-masters.com/en/repos/AeneasVerif/eurydice)

## See AeneasVerif on GitHub

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

---
Data: GitHub