# Frama-C/Frama-C-snapshot

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

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

Frama-C/Frama-C-snapshot has 190 stars on GitHub. Its RepoMasters card: Prototype tier. Release snapshots of the Frama-C platform for source code analysis

| Field | Value |
| --- | --- |
| Owner | [Frama-C](https://repo.masters-masters.com/en/owners/Frama-C) |
| Stars | 190 |
| Forks | 40 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | None |
| Created | 2016 |
| Topics | c, static-analysis, runtime-verification, ocaml, formal-verification, abstract-interpretation, frama-c |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Frama-C/Frama-C-snapshot](https://github.com/Frama-C/Frama-C-snapshot) |

## Repository

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

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

## Nearby in OCaml

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

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