Alternatives and similar repositories for infer

Users that are interested in infer are comparing it to the libraries listed below

• facebook / buck
  A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
  ☆8,558Updated last year
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,263Updated this week
• tink-crypto / tink
  Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, an…
  ☆13,541Updated last year
• rr-debugger / rr
  Record and Replay Framework
  ☆9,923Updated this week
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆20,807Updated last week
• analysis-tools-dev / static-analysis
  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The foc…
  ☆13,922Updated last month
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,170Updated this week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,878Updated last week
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,278Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,419Updated last week
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆67,925Updated this week
• cs01 / gdbgui
  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…
  ☆10,117Updated last week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,829Updated 7 months ago
• google / leveldb
  LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
  ☆37,859Updated 5 months ago
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,000Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,126Updated this week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,299Updated this week
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,148Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,004Updated 2 weeks ago
• ninja-build / ninja
  a small build system with a focus on speed
  ☆12,089Updated this week
• facebook / pyre-check
  Performant type-checking for python.
  ☆7,056Updated this week
• antlr / antlr4
  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structure…
  ☆18,124Updated 2 weeks ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,108Updated 3 months ago
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,238Updated 9 months ago
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,889Updated 5 years ago
• sqlcipher / sqlcipher
  SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
  ☆6,697Updated last month
• google / skia
  Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
  ☆9,935Updated this week
• abseil / abseil-cpp
  Abseil Common Libraries (C++)
  ☆16,067Updated this week
• libgit2 / libgit2
  A cross-platform, linkable library implementation of Git that you can use in your application.
  ☆10,038Updated last month
• git-up / GitUp
  The Git interface you've been missing all your life has finally arrived.
  ☆11,733Updated last month