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
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,860Updated last year
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,324Updated 7 years ago
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆25,149Updated this week
• google / skia
  Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
  ☆10,301Updated last week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,111Updated 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,253Updated last year
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,888Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆44,061Updated last week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆18,519Updated last month
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,029Updated last week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,244Updated 2 weeks ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,291Updated this week
• facebook / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆31,153Updated last week
• jemalloc / jemalloc
  ☆10,442Updated 6 months ago
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,890Updated 5 years ago
• 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,563Updated last year
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆22,864Updated last week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,406Updated last week
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,193Updated last month
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,201Updated 2 years ago
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,711Updated this week
• svaarala / duktape
  Duktape - embeddable Javascript engine with a focus on portability and compact footprint
  ☆6,139Updated last year
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,604Updated 5 years ago
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆12,266Updated this week
• apple / foundationdb
  FoundationDB - the open source, distributed, transactional key-value store
  ☆15,989Updated this week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆26,168Updated this week
• google / snappy
  A fast compressor/decompressor
  ☆6,485Updated 3 weeks ago
• google / EarlGrey
  iOS UI Automation Test Framework
  ☆5,674Updated this week
• swig / swig
  SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
  ☆6,180Updated this week