- San Francisco Bay Area
Stars
Read and interpret CMake's file-based API
A unit test-like interface for fuzzing and symbolic execution
Grey-box Concolic Testing on Binary Code (ICSE '19)
Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
RBDyn provides a set of classes and functions to model the dynamics of rigid body systems.
Meta programming library designed for compilation speed.
MWE for using the Eigen library in CUDA kernels
A PyTorch Implementation of Matrix Capsules with EM Routing
A Pytorch implementation of "Matrix Capsules with EM routing"
[NO MAINTENANCE INTENDED] A PyTorch implementation of CapsNet architecture in the NIPS 2017 paper "Dynamic Routing Between Capsules".
MATLAB code and data for our CRV 2015 paper
Mouthful is a self-hosted alternative to Disqus
Efficient neural feature detector and descriptor
Templight is a Clang-based tool to profile the time and memory consumption of template instantiations and to perform interactive debugging sessions to gain introspection into the template instantia…
Robust Stereo Visual Inertial Odometry for Fast Autonomous Flight
Relative Camera Pose Estimation Using Convolutional Neural Networks
The lektor static file content management system
Source-to-Source Debuggable Derivatives in Pure Python
Optimizer classes for aslam_cv, kalibr, aslam_incremental_calibration, ..
C++ benchmark tool. Practical, stable and fast performance testing framework.