Skip to content
View hgarrereyn's full-sized avatar

Highlights

  • Pro

Organizations

@Pitt-RAS

Block or report hgarrereyn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
55 results for source starred repositories
Clear filter

PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models

C++ 33 4 Updated Nov 4, 2025

Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance Without Consumer Code

C++ 13 1 Updated Jul 14, 2025

PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

Rust 299 34 Updated Jul 29, 2025

InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets

Assembly 57 6 Updated Nov 4, 2025

Blue Water's Hackceler8 tooling for 2024

Python 2 1 Updated Oct 20, 2024

Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor

Rust 867 250 Updated Sep 22, 2025

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Rust 2,380 410 Updated Nov 5, 2025

Piet interpreter and retargetable compiler written in Rust using LLVM as a backend

Rust 16 2 Updated Jul 8, 2024

Research WebAssembly Engine

WebAssembly 462 48 Updated Nov 5, 2025

Binary Ninja plugin for Solana eBPF

Python 218 32 Updated Oct 27, 2025

Coppersmith's method for multivariate polynomials

Sage 187 11 Updated Oct 11, 2023

The official mirror of the V8 Git repository

C++ 24,570 4,181 Updated Nov 6, 2025

IrisSec Computer Hacking Club website.

Python 6 3 Updated Dec 28, 2024

A Python Package for Protein Dynamics Analysis

Python 508 169 Updated Oct 23, 2025

Apache Beam is a unified programming model for Batch and Streaming data processing.

Java 8,357 4,429 Updated Nov 6, 2025

Magenta: Music and Art Generation with Machine Intelligence

Python 19,711 3,804 Updated Jul 8, 2025

Common code for TFX

Python 66 62 Updated Aug 7, 2025

TFX is an end-to-end platform for deploying production ML pipelines

Python 2,169 726 Updated Oct 29, 2025

The best tool for finding one gadget RCE in libc.so.6

Ruby 2,247 146 Updated Nov 2, 2025

Provide powerful tools for seccomp analysis

Ruby 1,076 73 Updated Nov 1, 2025

🏃→🎼 docker run asdlksjfksdf > docker-composerize up

JavaScript 3,617 242 Updated Jul 20, 2025

Master programming by recreating your favorite technologies from scratch.

Markdown 434,620 40,754 Updated Oct 10, 2025

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

1,443 144 Updated Jun 20, 2025

The Incredible Proof Machine

Haskell 385 38 Updated Mar 2, 2025

An API to easily get data from the University of Pittsburgh

HTML 116 36 Updated Mar 6, 2025

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Python 41,101 4,344 Updated Nov 5, 2025

Build a database of libc offsets to simplify exploitation

Shell 1,836 194 Updated Oct 23, 2024

Metasploit for machine learning.

Python 572 131 Updated Mar 25, 2023

Data science Python notebooks: Deep learning (TensorFlow, Theano, Caffe, Keras), scikit-learn, Kaggle, big data (Spark, Hadoop MapReduce, HDFS), matplotlib, pandas, NumPy, SciPy, Python essentials,…

Python 28,637 8,026 Updated Mar 20, 2024

Models and examples built with TensorFlow

Python 77,664 45,425 Updated Nov 4, 2025
Next