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,560Updated last year
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,173Updated last week
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,371Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,408Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,336Updated 7 years ago
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,341Updated this week
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆68,652Updated 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,547Updated last year
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,889Updated 5 years ago
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,837Updated 8 months ago
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,052Updated 4 months ago
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,620Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,552Updated this week
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,180Updated last week
• openstf / stf
  Control and manage Android devices from your browser.
  ☆13,604Updated 2 years ago
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,026Updated this week
• 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,936Updated 6 months ago
• facebook / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆30,131Updated last week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,359Updated last week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,027Updated 2 weeks ago
• libffi / libffi
  A portable foreign-function interface library.
  ☆3,431Updated 3 weeks ago
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,014Updated this week
• ggreer / the_silver_searcher
  A code-searching tool similar to ack, but faster.
  ☆26,725Updated last year
• JetBrains / kotlin
  The Kotlin Programming Language.
  ☆51,020Updated this week
• facebook / fbthrift
  Facebook's branch of Apache Thrift, including a new C++ server.
  ☆2,645Updated this week
• 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,244Updated 9 months ago
• google / clusterfuzz
  Scalable fuzzing infrastructure.
  ☆5,422Updated 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,938Updated last week
• google / snappy
  A fast compressor/decompressor
  ☆6,394Updated 4 months ago
• facebook / idb
  idb is a flexible command line interface for automating iOS simulators and devices
  ☆4,729Updated 2 weeks ago