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,553Updated 2 years ago
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,955Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆25,216Updated last 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,561Updated last year
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,325Updated 7 years ago
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,027Updated 2 weeks ago
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,269Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆44,145Updated last week
• google / re2
  RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It…
  ☆9,537Updated last month
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆23,020Updated last week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,443Updated this week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,117Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,057Updated 9 months ago
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,203Updated 2 years ago
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,742Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,865Updated last year
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆69,979Updated this week
• jemalloc / jemalloc
  ☆10,468Updated 7 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,256Updated last year
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,892Updated 5 years ago
• phacility / phabricator
  Effective June 1, 2021: Phabricator is no longer actively maintained.
  ☆12,329Updated last year
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,601Updated 5 years ago
• google / snappy
  A fast compressor/decompressor
  ☆6,502Updated last month
• SonarSource / sonarqube
  Continuous Inspection
  ☆10,134Updated last week
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,236Updated last week
• google / codesearch
  Fast, indexed regexp search over large file trees
  ☆3,919Updated 7 months ago
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆26,305Updated 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…
  ☆14,285Updated last week
• sourcegraph / sourcegraph-public-snapshot
  Code AI platform with Code Search & Cody
  ☆10,235Updated last year
• fastlane / fastlane
  🚀 The easiest way to automate building and releasing your iOS and Android apps
  ☆40,826Updated this week