awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

SLAyer | Awesome Repository

MicrosoftSLAyerArchived

0

View on GitHub↗

325 stars·24 forks·OCaml·NOASSERTION·0 views

SLAyer

Features

Code Analysis and Linters - Formal verification tool for memory safety in C.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.