Alternatives and similar repositories for infer:

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

• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆23,966Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,323Updated 7 years ago
• 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
• google / snappy
  A fast compressor/decompressor
  ☆6,313Updated last month
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,028Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,902Updated last month
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,254Updated 2 months ago
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆24,760Updated last week
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆67,329Updated last week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆10,982Updated last week
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,395Updated last week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,705Updated last week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,116Updated 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,735Updated last week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,110Updated 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,537Updated last year
• 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,048Updated last year
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,639Updated last month
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆42,924Updated 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,495Updated 2 months ago
• toml-lang / toml
  Tom's Obvious, Minimal Language
  ☆19,799Updated this week
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆21,568Updated this week
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,886Updated 5 years ago
• cyrus-and / gdb-dashboard
  Modular visual interface for GDB in Python
  ☆11,654Updated 2 months ago
• gperftools / gperftools
  Main gperftools repository
  ☆8,660Updated last month
• 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,242Updated last month
• 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,234Updated 6 months ago
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,767Updated 6 years ago
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆20,103Updated this week
• jedisct1 / libsodium
  A modern, portable, easy to use crypto library.
  ☆12,635Updated this week