A repository demonstrating how you can sneak malicious code into Github PRs
☆11May 29, 2017Updated 9 years ago
Alternatives and similar repositories for pr-sneaking
Users that are interested in pr-sneaking are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graph utilities for handling and housing markdown wikis -- and (semantic) trees!☆12Oct 12, 2023Updated 3 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 7 years ago
- Repo for arxiv paper "A Systematic Study of Code Obfuscation Against LLM-based Vulnerability Detection".☆15Dec 18, 2025Updated 10 months ago
- Rust bindings to LLVM's `SanitizerCoverage` interface☆16Sep 16, 2022Updated 4 years ago
- Differential fuzzer for testing different versions of the Kotlin compiler☆12Aug 7, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Aug 10, 2021Updated 5 years ago
- Your Full Agentic Fraemwork for "Answer Engine Optimization" . Get listed when ChatGPT, Claude, Perplexity, Gemini, Mistral, Manus & Co. …☆11Nov 9, 2025Updated 11 months ago
- Generate realistic multi-agent workflow traces with LLM-enriched content, semantic validation, and PM4Py compatibility. pip install open-…☆16Apr 8, 2026Updated 6 months ago
- Python tools for the K Framework☆13Apr 25, 2024Updated 2 years ago
- ☆10Jul 9, 2020Updated 6 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- A compiler for the Meta Attack Language☆16Apr 11, 2022Updated 4 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- TypeScript AI agent framework with recorded context, tool calls and decisions, plus configurable answer checks.☆21Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- CULiNGAM accelerates LiNGAM analysis on GPUs.☆10Mar 8, 2024Updated 2 years ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆17Sep 25, 2023Updated 3 years ago
- Structure-aware semantic chunking toolkit for RAG pipelines with semantic boundaries, metadata preservation, deduplication, and CLI/packa…☆14Feb 6, 2026Updated 9 months ago
- Code, notebooks, and other material for FuturePath AI's training course on Generative AI☆13Apr 24, 2025Updated last year
- Automate the creation of high quality research papers in latex. Powered by Swarms 🤖☆11Dec 1, 2025Updated 11 months ago
- Open-source web-based GPU performance visualization tool that transforms NVIDIA profiling data into interactive insights for CUDA enginee…☆13Aug 29, 2025Updated last year
- New MLIR dialect, attributes, and transformations for generating host driver code for AXI-based linalg accelerators.☆11Jan 8, 2024Updated 2 years ago
- Analyzes open source bug trackers for interesting vulnerabilities☆23Feb 3, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated 2 years ago
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 3 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Learn Agentic AI with notes, resources, and practice code covering Generative AI basics, OpenAI agents SDK, prompt engineering, memory, m…☆12Oct 3, 2025Updated last year
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- ☆11Oct 10, 2023Updated 3 years ago
- Sliced Convolution algorithm implemented with MLIR Transform Dialect.☆10Nov 3, 2025Updated last year
- A toy compiler made with LLVM☆16Aug 30, 2024Updated 2 years ago
- ☆13Jul 27, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Semantics for CUDA-C in K.☆13Oct 19, 2012Updated 14 years ago
- Official implementation of Graph Neural Networks as Gradient Flows.☆15Aug 15, 2023Updated 3 years ago
- Demo showing Claude Opus does not find CVE-2023-0266☆17Mar 19, 2024Updated 2 years ago
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆16Oct 2, 2025Updated last year
- ☆13Feb 12, 2026Updated 8 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 3 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 4 years ago