awesome-repositories.comBlog

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

MCP Blog Curated searches Sitemap Privacy Terms

Infer | Awesome Repository

facebookinfer

0

View on GitHub↗

15,646 stars·2,093 forks·OCaml·MIT·0 viewsfbinfer.com↗

Infer

Features

Code Analysis - Static analysis tool for verifying code correctness.
Code Analysis and Linters - Static analyzer for detecting bugs in C and Java.
Static Analysis - Static analyzer for Java, C, and Objective-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

A static analyzer for Java, C, C++, and Objective-C