# GitHub repos by Frama-C

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

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

The public GitHub repo by Frama-C in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by Frama-C

1 public repo by Frama-C in the catalog, most starred first.

- [Frama-C/Frama-C-snapshot · ★ 190 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/Frama-C/Frama-C-snapshot)

## See Frama-C on GitHub

- [https://github.com/Frama-C](https://github.com/Frama-C)

---
Data: GitHub