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