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
Showing results

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 4, 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 5, 2025

IrisSec Computer Hacking Club website.

Python 6 3 Updated Dec 28, 2024

GPU-accelerated ascii art generator with subpixel rendering

HTML 18 5 Updated Dec 4, 2020

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,358 4,430 Updated Nov 5, 2025

Magenta: Music and Art Generation with Machine Intelligence

Python 19,709 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,248 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,234 40,726 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

Python Algorithmic Trading Library

Python 4,618 1,398 Updated Nov 13, 2023

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,095 4,343 Updated Nov 3, 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
Next