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,556Updated last year
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,520Updated this week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆18,059Updated 3 weeks ago
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,089Updated 2 weeks ago
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,743Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,332Updated 7 years ago
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,156Updated 2 years ago
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,606Updated 5 years ago
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,028Updated this week
• google / brotli
  Brotli compression format
  ☆14,277Updated last week
• 0xAX / linux-insides
  A book-in-progress about the Linux kernel and its insides.
  ☆31,200Updated last week
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆22,218Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,052Updated 5 months ago
• facebook / proxygen
  A collection of C++ HTTP libraries including an easy to use HTTP server.
  ☆8,279Updated this week
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,886Updated 5 years ago
• rizinorg / cutter
  Free and Open Source Reverse Engineering Platform powered by rizin
  ☆17,059Updated 2 months ago
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆21,161Updated 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.
  ☆38,113Updated 7 months ago
• google / snappy
  A fast compressor/decompressor
  ☆6,429Updated last month
• 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,166Updated 2 months ago
• aws / s2n-tls
  An implementation of the TLS/SSL protocols
  ☆4,624Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,255Updated this week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,039Updated last week
• ninja-build / ninja
  a small build system with a focus on speed
  ☆12,263Updated this week
• brendangregg / FlameGraph
  Stack trace visualizer
  ☆18,694Updated 10 months ago
• google / codesearch
  Fast, indexed regexp search over large file trees
  ☆3,851Updated 3 months ago
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,703Updated 2 weeks ago
• facebook / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆30,491Updated this week
• abseil / abseil-cpp
  Abseil Common Libraries (C++)
  ☆16,300Updated last week
• google / grumpy
  Grumpy is a Python to Go source code transcompiler and runtime.
  ☆10,533Updated 3 years ago