Pinned Repositories
Extended-Kalman-Filter
Implementation of an EKF in C++
KalmanFilter
Kalman Filter C++ Implementation using Eigen Library
libfixkalman
Kalman filter implementation based on libfixmatrix
linpackc
Linpack benchmark code in C
sv-benchmarks
Collection of Verification Tasks
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
1933131's Repositories
1933131/Extended-Kalman-Filter
Implementation of an EKF in C++
1933131/KalmanFilter
Kalman Filter C++ Implementation using Eigen Library
1933131/libfixkalman
Kalman filter implementation based on libfixmatrix
1933131/linpackc
Linpack benchmark code in C
1933131/sv-benchmarks
Collection of Verification Tasks