Stars
This repository contains the best resources for learning practical quantum computing. This repository will be updated frequently.
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.