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.
  ☆31Updated 2 years ago
• xiaoweiChen / 100-Cpp-Mistakes-and-How-to-Avoid-Them
  《100 C++ Mistakes and How to Avoid Them》的非专业个人翻译
  ☆23Updated 3 weeks ago
• Xtinc / matrix
  a header-only c++ numeric library
  ☆42Updated 4 months ago
• MIT-SPARK / config_utilities
  Automatic C++ config structs and tools.
  ☆33Updated this week
• mraggi / tqdm-cpp
  Easily display progress in C++17. Inspired by python's awesome tqdm library.
  ☆64Updated last year
• fiveai / ros_comm
  ☆12Updated 3 years ago
• MarineRoboticsGroup / dcsam-examples
  Tutorial examples and sample applications for DC-SAM.
  ☆20Updated 2 years ago
• ucrparlay / Pkd-tree
  [SIGMOD' 25] A fast parallel kd-tree implementation
  ☆76Updated 2 months ago
• pvangoor / LiePP
  Header-only Lie groups for c++
  ☆17Updated 2 years ago
• LimHyungTae / OpenFLANN
  Performance comparison of NearestSearch and radiusSearch function in point cloud.
  ☆16Updated 3 years ago
• ethz-asl / config_utilities
  Utility tools to make working with config structs for (ROS) C++ libraries more uniform, readable and convenient.
  ☆24Updated last year
• jingedawang / AlignmentExample
  A series of examples showing how to solve the alignment problems in vectorization.
  ☆15Updated 2 years ago
• ethz-asl / plotty
  matplotlib-cpp with Eigen interfaces.
  ☆55Updated 4 years ago
• ethz-asl / lpp
  Header only logging library to standardize ros and glog output at compile time.
  ☆34Updated 3 weeks ago
• wlsdzyzl / Rabbit
  A very basic pipeline of Lidar SLAM System (Based on PCL and ROS).
  ☆28Updated 3 years ago
• RENyunfan / fmt-eigen
  A header-only formatter function customized for the Eigen library.
  ☆10Updated 4 months ago
• sychaichangkun / ROS----ros_comm
  从今天起，每天看一小时的ROS源代码，写写笔记和注释
  ☆18Updated 7 years ago
• Natsu-Akatsuki / pybind11
  来记录一波 pybind11 实例~
  ☆19Updated 2 years ago
• david-m-rosen / Preconditioners
  A set of useful algebraic preconditioners for iterative numerical linear-algebraic methods.
  ☆18Updated 2 years ago
• aserbremen / mrg_slam
  Decentralized Multi-Robot Graph Simultaneous Localization and Mapping
  ☆16Updated this week
• rvp-group / srrg2-hipe
  Hierarchical Initialization for Pose Graphs
  ☆32Updated 3 years ago
• gira3d / gira3d-registration
  Frame-to-Frame Registration using Gaussian Mixture Models.
  ☆22Updated last year
• mingtiancai / estimation_for_robotics_answer
  ☆26Updated 4 years ago
• VIS4ROB-lab / HyperVariables
  General variable and Lie group containers with extensive Eigen interoperability for non-linear optimizations.
  ☆33Updated 8 months ago
• ethz-asl / fgsp_graph_manager
  ☆15Updated 2 years ago
• JokerJohn / AM_Align
  [TIM'2024] Official codes of AM-Align: Globally Optimal Estimation of Accelerometer-Magnetometer Misalignment
  ☆31Updated last month
• quimortiz / dynotree
  Dynamic Kd-Tree: Euclidean, SO(2), SO(3), SE(3) and more!
  ☆22Updated last week
• brytsknguyen / M-LOAM
  Robust Odometry and Mapping for Multi-LiDAR Systems with Online Extrinsic Calibration
  ☆11Updated 6 months ago
• rpl-cmu / incopt
  Release code for InCOpt: Incremental Constrained Optimization using the Bayes Tree (IROS 2022)
  ☆15Updated 2 years ago
• libing64 / stereo_vo
  keyframe-based stereo visual odometry
  ☆10Updated 4 years ago