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,555Updated last year
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆23,787Updated last week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,324Updated 6 years ago
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆23,676Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆12,929Updated this week
• grpc / grpc
  The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆42,469Updated this week
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,003Updated last week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,767Updated 3 weeks ago
• ninja-build / ninja
  a small build system with a focus on speed
  ☆11,620Updated this week
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆66,630Updated this week
• facebook / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆29,162Updated 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,116Updated 3 weeks ago
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,223Updated this week
• intel / hyperscan
  High-performance regular expression matching library
  ☆4,894Updated 9 months ago
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆19,766Updated this week
• phacility / phabricator
  Effective June 1, 2021: Phabricator is no longer actively maintained.
  ☆12,321Updated 10 months ago
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆11,954Updated this week
• koalaman / shellcheck
  ShellCheck, a static analysis tool for shell scripts
  ☆36,952Updated 2 months ago
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,012Updated 6 months ago
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,061Updated this week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,471Updated last week
• machyve / xhyve
  xhyve, a lightweight OS X virtualization solution
  ☆6,446Updated 3 years ago
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,810Updated 11 months ago
• brendangregg / FlameGraph
  Stack trace visualizer
  ☆17,813Updated 4 months ago
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,794Updated 2 months ago
• h2o / h2o
  H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
  ☆10,996Updated 2 weeks ago
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆6,920Updated 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.
  ☆5,908Updated this week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆10,811Updated this week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,033Updated this week