Alternatives and similar repositories for program-analysis

Users that are interested in program-analysis are comparing it to the libraries listed below

• XiaoxingChen / mxm
  Header-only/compiled C++ numerical compute library.
  ☆33Updated 2 years ago
• xiaoweiChen / 100-Cpp-Mistakes-and-How-to-Avoid-Them
  《100 C++ Mistakes and How to Avoid Them》的非专业个人翻译
  ☆34Updated 10 months ago
• Xtinc / matrix
  a header-only c++ numeric library
  ☆42Updated last year
• archibate / minilog
  Mini Logging Library with C++20 education purpose
  ☆34Updated last year
• jeffi / kdtree
  Exact nearest neighbor searching for various Euclidean, SO(3), SE(3) and weighted combinations thereof.
  ☆10Updated 7 years ago
• growinguptogether / EigenDocInChinese
  Eigen3.3.7 Doc中文版
  ☆130Updated 6 years ago
• LSTM-Kirigaya / OptimizeNote
  为了我的知乎上的最优化笔记做的manim动画源码
  ☆41Updated 4 years ago
• fiveai / ros_comm
  ☆12Updated 4 years ago
• zxl19 / Eigen-Cheatsheet
  A cheatsheet of Eigen, the C++ linear algebra library.
  ☆25Updated 4 years ago
• mraggi / tqdm-cpp
  Easily display progress in C++17. Inspired by python's awesome tqdm library.
  ☆72Updated last year
• archibate / debug-hpp
  printing everything including STL containers without pain 🚀
  ☆49Updated last year
• jingedawang / AlignmentExample
  A series of examples showing how to solve the alignment problems in vectorization.
  ☆17Updated 3 years ago
• wlsdzyzl / Rabbit
  A very basic pipeline of Lidar SLAM System (Based on PCL and ROS).
  ☆27Updated 4 years ago
• andreacasalino / Gaussian-Mixture-Model
  C++ library handling Gaussian Mixure Models
  ☆34Updated 3 years ago
• ethz-asl / lpp
  Header only logging library to standardize ros and glog output at compile time.
  ☆39Updated last month
• Robotics-BUT / Robotic-Template-Library
  C++ template library for use in robotics.
  ☆29Updated 3 years ago
• EpsAvlc / flexible_icp
  User-specified ICP.
  ☆11Updated 4 years ago
• ucrparlay / Pkd-tree
  [SIGMOD' 25] A fast parallel kd-tree implementation
  ☆86Updated last month
• ethz-asl / linter
  Generic (C++, python) linter and auto formatter package
  ☆34Updated 3 years ago
• SplineLib / SplineLib
  Library for spline manipulation.
  ☆26Updated 2 years ago
• ARTI-Robots / mapping_dataset_styria
  Open mapping dataset of styria in Austria
  ☆24Updated 4 years ago
• ethz-asl / config_utilities
  Utility tools to make working with config structs for (ROS) C++ libraries more uniform, readable and convenient.
  ☆25Updated 2 years ago
• andreacasalino / GaussianProcesses
  Modern C++ library handling gaussian processes
  ☆18Updated 3 years ago
• starship-technologies / bag_rdr
  C++ ROS bag reader
  ☆28Updated last year
• gezp / simple_sensor_calibration_toolbox
  simple sensor calibration toolbox for camera, lidar, imu based on ROS2
  ☆13Updated 3 months ago
• QiukuZ / HDL_daliy_report
  ☆10Updated 4 years ago
• quimortiz / dynotree
  Dynamic Kd-Tree: Euclidean, SO(2), SO(3), SE(3) and more!
  ☆34Updated 2 weeks ago
• KIT-ISAS / RTCF
  ☆14Updated 2 years ago
• ZJU-FAST-Lab / VID-Flight-Platform
  The flight platforn for the VID-Dataset
  ☆19Updated 4 years ago
• norlab-ulaval / cheatsheet_LieAlgebra
  cheatsheet of all the basics notions of Lie algebra
  ☆78Updated 3 years ago