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
• Xtinc / matrix
  a header-only c++ numeric library
  ☆42Updated last year
• xiaoweiChen / 100-Cpp-Mistakes-and-How-to-Avoid-Them
  《100 C++ Mistakes and How to Avoid Them》的非专业个人翻译
  ☆34Updated 9 months ago
• growinguptogether / EigenDocInChinese
  Eigen3.3.7 Doc中文版
  ☆129Updated 6 years ago
• jeffi / kdtree
  Exact nearest neighbor searching for various Euclidean, SO(3), SE(3) and weighted combinations thereof.
  ☆10Updated 7 years ago
• fiveai / ros_comm
  ☆12Updated 4 years ago
• shamanDevel / cuMat
  An expression template based linear algebra library running completely on the GPU using CUDA
  ☆25Updated 4 years ago
• ComputationalRobotics / cuADMM
  A CUDA-based implementation of the Alternating Direction Method of Multipliers (ADMM) algorithm to solve Semi-Definite Programming (SDP) …
  ☆35Updated 2 weeks ago
• mraggi / tqdm-cpp
  Easily display progress in C++17. Inspired by python's awesome tqdm library.
  ☆72Updated last year
• jingedawang / AlignmentExample
  A series of examples showing how to solve the alignment problems in vectorization.
  ☆17Updated 3 years ago
• zxl19 / Eigen-Cheatsheet
  A cheatsheet of Eigen, the C++ linear algebra library.
  ☆25Updated 4 years ago
• MBDS / multibody-state-estimation
  MultiBody Dynamics Estimators: Particle filter and factor-graph estimators
  ☆46Updated 6 months ago
• sychaichangkun / ROS----ros_comm
  从今天起，每天看一小时的ROS源代码，写写笔记和注释
  ☆18Updated 8 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
  ☆33Updated 3 years ago
• lattice-land / cuda-battery
  Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU
  ☆31Updated 4 months ago
• archibate / sycltutor
  小彭老师推出 SyCL 2020 课程（施工中，日后会在直播中放出）
  ☆15Updated 2 years ago
• li-haojia / advanced-navigation-exp
  NEU机器人高级导航试验（学长老师设计的特别好！）
  ☆23Updated 4 years ago
• yjtang249 / Drareni-Calibration-Algorithm-for-Line-Scan-Camera
  ☆11Updated 4 years ago
• rFalque / libGraphCpp
  Light C++11 graph library
  ☆13Updated 4 years ago
• ethz-asl / lpp
  Header only logging library to standardize ros and glog output at compile time.
  ☆39Updated last week
• Robotics-BUT / Robotic-Template-Library
  C++ template library for use in robotics.
  ☆29Updated 3 years ago
• LSTM-Kirigaya / OptimizeNote
  为了我的知乎上的最优化笔记做的manim动画源码
  ☆41Updated 4 years ago
• mocibb / manopt_cpp
  ☆17Updated 3 years ago
• VIS4ROB-lab / HyperVariables
  General variable and Lie group containers with extensive Eigen interoperability for non-linear optimizations.
  ☆32Updated last year
• david-m-rosen / Preconditioners
  A set of useful algebraic preconditioners for iterative numerical linear-algebraic methods.
  ☆20Updated 3 years ago
• ucrparlay / Pkd-tree
  [SIGMOD' 25] A fast parallel kd-tree implementation
  ☆86Updated last month
• starship-technologies / bag_rdr
  C++ ROS bag reader
  ☆28Updated last year
• Taeyoung96 / SLAM-backend-tutorial
  My personal solution for "AirLab Summer School Session 2.2"
  ☆19Updated 3 years ago
• PetWorm / ORB_SLAM2_zhushi
  比较啰嗦的orbslam单目部分注释；采用本地最新版本g2o；一些格式转换的私货main（Example/zzz_QXC_Test）
  ☆10Updated 6 years ago