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.
  ☆30Updated last year
• fiveai / ros_comm
  ☆12Updated 3 years ago
• archibate / debug-hpp
  printing everything including STL containers without pain 🚀
  ☆46Updated 3 months ago
• Xtinc / matrix
  a header-only c++ numeric library
  ☆42Updated 2 months ago
• archibate / minilog
  Mini Logging Library with C++20 education purpose
  ☆31Updated 5 months ago
• mraggi / tqdm-cpp
  Easily display progress in C++17. Inspired by python's awesome tqdm library.
  ☆63Updated last year
• LSTM-Kirigaya / OptimizeNote
  为了我的知乎上的最优化笔记做的manim动画源码
  ☆38Updated 3 years ago
• sychaichangkun / ROS----ros_comm
  从今天起，每天看一小时的ROS源代码，写写笔记和注释
  ☆18Updated 7 years ago
• shamanDevel / cuMat
  An expression template based linear algebra library running completely on the GPU using CUDA
  ☆24Updated 3 years ago
• rFalque / libGraphCpp
  Light C++11 graph library
  ☆12Updated 3 years ago
• MIT-SPARK / config_utilities
  Automatic C++ config structs and tools.
  ☆29Updated last week
• jingedawang / AlignmentExample
  A series of examples showing how to solve the alignment problems in vectorization.
  ☆14Updated 2 years ago
• VIS4ROB-lab / HyperVariables
  General variable and Lie group containers with extensive Eigen interoperability for non-linear optimizations.
  ☆33Updated 6 months ago
• wlsdzyzl / Rabbit
  A very basic pipeline of Lidar SLAM System (Based on PCL and ROS).
  ☆28Updated 3 years ago
• libing64 / stereo_vo
  keyframe-based stereo visual odometry
  ☆10Updated 3 years ago
• starship-technologies / bag_rdr
  C++ ROS bag reader
  ☆27Updated 3 months ago
• wheelos / core
  Autonomous driving middleware publish subscribe system
  ☆35Updated 5 months ago
• Cpp-Club / cpparticles
  C++文章、论文、视频资源分享，每月四期，供群内朋友阅读交流。
  ☆15Updated 9 months ago
• jongyaoY / BAMapping
  Offline 3D reconstruction based on bundle adjustment
  ☆17Updated 4 years ago
• 3DVisionISR / 3DMinRegLineIntersect
  ☆12Updated last year
• brytsknguyen / M-LOAM
  Robust Odometry and Mapping for Multi-LiDAR Systems with Online Extrinsic Calibration
  ☆11Updated 4 months ago
• ucrparlay / Pkd-tree
  [SIGMOD' 25] A fast parallel kd-tree implementation
  ☆74Updated last week
• MarineRoboticsGroup / dcsam-examples
  Tutorial examples and sample applications for DC-SAM.
  ☆20Updated 2 years ago
• HKFoggyU / RedBird3D
  3D model for HKUST Redbird (Sundial)
  ☆16Updated 2 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 last week
• ICRA-2019 / MH-iSAM2_lib
  ☆20Updated 2 years ago
• Lee-JaeWon / Mobile-Robot-Paper-Review
  The paper review repository about my interests.
  ☆12Updated 2 years ago
• borglab / wrap
  Wrapper generator for C++ projects with multiple language support
  ☆31Updated 7 months ago
• Joanna-HE / Point-lio
  ☆11Updated 2 years ago