Stars
A powerful and user-friendly binary analysis platform!
An analysis tool for Python that blurs the line between testing and type systems.
YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Generates permutations, alterations and mutations of subdomains and then resolves them
Machine Learning Foundations: Linear Algebra, Calculus, Statistics & Computer Science
Code and documentation to train Stanford's Alpaca models, and generate the data.
Deep Learning with TensorFlow, Keras, and PyTorch
A DNS meta-query spider that enumerates DNS records, and subdomains.