AlphaUncommon
microsoft/SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Archived: this repository is read-only
- Owner
- microsoft (organization)
- Stars
- Stars: 326
- Forks
- Forks: 24
- Language
- OCaml
- License
- None
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by microsoft
All 1,923 repos by microsoft- microsoft/vscodeStars: 194,462TypeScriptLTS
- microsoft/markitdownStars: 193,456PythonLTS
- microsoft/PowerToysStars: 140,398CLTS
- microsoft/generative-ai-for-beginnersStars: 122,788Jupyter NotebookLTS
- microsoft/TypeScriptStars: 111,714GoLTS
- microsoft/terminalStars: 105,311C++LTS
Nearby in OCaml
All OCaml repos- chshersh/zbgStars: 335OCamlAlpha
- ocsigen/eliomStars: 329OCamlAlpha
- OCamlPro/owiStars: 329OCamlAlpha
- pirapira/bambooStars: 323OCamlAlpha
- mhallin/graphql_ppxStars: 322OCamlAlpha
- mirleft/ocaml-tlsStars: 321OCamlAlpha