facebook / infer

Related projects ⓘ

Alternatives and complementary repositories for infer

• facebook / buck
  A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
  ☆8,563Updated last year
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆23,250Updated this week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆23,762Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆23,368Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆12,749Updated this week
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆21,892Updated last week
• grpc / grpc
  The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆41,979Updated this week
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆19,373Updated last week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,322Updated last week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆16,461Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,534Updated 2 weeks ago
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆6,859Updated this week
• jqlang / jq
  Command-line JSON processor
  ☆30,591Updated this week
• ggreer / the_silver_searcher
  A code-searching tool similar to ack, but faster.
  ☆26,196Updated 5 months ago
• 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…
  ☆9,924Updated 8 months ago
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,815Updated 8 months ago
• libuv / libuv
  Cross-platform asynchronous I/O
  ☆24,338Updated this week
• toml-lang / toml
  Tom's Obvious, Minimal Language
  ☆19,550Updated last month
• emscripten-core / emscripten
  Emscripten: An LLVM-to-WebAssembly Compiler
  ☆25,836Updated 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,503Updated 7 months ago
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,787Updated 5 years ago
• 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,359Updated this week
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,609Updated 4 years ago
• BurntSushi / ripgrep
  ripgrep recursively searches directories for a regex pattern while respecting your gitignore
  ☆48,827Updated last month
• h2o / h2o
  H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
  ☆10,914Updated last week
• google / skia
  Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
  ☆9,277Updated this week
• facebook / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆28,670Updated this week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆11,713Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,778Updated 2 years ago
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆5,995Updated this week