Stars
Matrix multiplication schemes
seahorn / ebpf-verifier
Forked from vbpf/prevailA new eBPF verifier, using abstract interpretation
Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"
Visual Python and C++ nanosecond profiler, logger, tests enabler
C++ Implementation of Artificial Neural Network
A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacing C Preprocessor macros with equivalent C++11 declarations.