Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A lightweight, accurate and robust monocular visual inertial odometry based on Multi-State Constraint Kalman Filter.
- visual-inertial-odometry
- msckf
- localization
- ekf-mono-slam
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
TriWild: Robust Triangulation with Curve Constraints
- traingulation
- meshing
- geometry-processing