PrototypeCommon
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
- Owner
- Frama-C (organization)
- Stars
- Stars: 190
- Forks
- Forks: 40
- Language
- OCaml
- License
- None
- Created
- 2016
- Topics
- cstatic-analysisruntime-verificationocamlformal-verificationabstract-interpretationframa-c
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- janestreet/ppx_expectStars: 196OCamlPrototype
- yallop/higherStars: 195OCamlPrototype
- mistakenelf/tails-uiStars: 192OCamlPrototype
- bobzhang/ocaml-bookStars: 189OCamlPrototype
- ocaml-multicore/domainslibStars: 187OCamlPrototype
- threepointone/bs-niceStars: 184OCamlPrototype