# Frama-C/Frama-C-snapshot

<https://repo.masters-masters.com/repos/Frama-C/Frama-C-snapshot>

[Accueil](https://repo.masters-masters.com/) › [Frama-C](https://repo.masters-masters.com/owners/Frama-C) › [Frama-C-snapshot](https://repo.masters-masters.com/repos/Frama-C/Frama-C-snapshot)

Frama-C/Frama-C-snapshot, dépôt open source à 190 étoiles sur GitHub. Carte Prototype de RepoMasters. Release snapshots of the Frama-C platform for source…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Frama-C](https://repo.masters-masters.com/owners/Frama-C) |
| Étoiles | 190 |
| Forks | 40 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | Aucune |
| Création | 2016 |
| Sujets | c, static-analysis, runtime-verification, ocaml, formal-verification, abstract-interpretation, frama-c |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Frama-C/Frama-C-snapshot](https://github.com/Frama-C/Frama-C-snapshot) |

## Fiche du dépôt

Release snapshots of the Frama-C platform for source code analysis

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts OCaml

- [janestreet/ppx\_expect · ★ 196 · OCaml · Prototype](https://repo.masters-masters.com/repos/janestreet/ppx_expect)
- [yallop/higher · ★ 195 · OCaml · Prototype](https://repo.masters-masters.com/repos/yallop/higher)
- [mistakenelf/tails-ui · ★ 192 · OCaml · Prototype](https://repo.masters-masters.com/repos/mistakenelf/tails-ui)
- [bobzhang/ocaml-book · ★ 189 · OCaml · Prototype](https://repo.masters-masters.com/repos/bobzhang/ocaml-book)
- [ocaml-multicore/domainslib · ★ 187 · OCaml · Prototype](https://repo.masters-masters.com/repos/ocaml-multicore/domainslib)
- [threepointone/bs-nice · ★ 184 · OCaml · Prototype](https://repo.masters-masters.com/repos/threepointone/bs-nice)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.