Alternatives and similar repositories for HirGen

Users that are interested in HirGen are comparing it to the libraries listed below

• wzh99 / GenCoG

  View on GitHub
  GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)
  ☆17Jul 19, 2023Updated 2 years ago
• ise-uiuc / tzer

  View on GitHub
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆71Mar 9, 2023Updated 2 years ago
• ShenQingchao / DLCstudy

  View on GitHub
  This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
  ☆23Aug 15, 2023Updated 2 years ago
• SecurityLab-UCD / IRFuzzer

  View on GitHub
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆21Mar 26, 2025Updated 10 months ago
• lin-tan / eagle

  View on GitHub
  For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…
  ☆13Aug 16, 2023Updated 2 years ago
• tensorscopepro / Tensorscope

  View on GitHub
  ☆11Nov 1, 2023Updated 2 years ago
• dpankratz / TVMFuzz

  View on GitHub
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆30May 24, 2020Updated 5 years ago
• DLFrameworkBug / DLFrameworkBugsData

  View on GitHub
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Oct 23, 2023Updated 2 years ago
• TestingResearchIllinois / srciror

  View on GitHub
  A mutation tool for source and IR
  ☆13Sep 6, 2018Updated 7 years ago
• OrqueIO / OrqueIO

  View on GitHub
  Process Orchestration Framework: A camunda 7 fork
  ☆20Updated this week
• ise-uiuc / TitanFuzz

  View on GitHub
  ☆91Sep 10, 2023Updated 2 years ago
• gryan11 / cln2inv

  View on GitHub
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Jun 8, 2020Updated 5 years ago
• Jacob-yen / LEMON

  View on GitHub
  This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.
  ☆55Oct 29, 2023Updated 2 years ago
• ise-uiuc / neuri-artifact

  View on GitHub
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆32Nov 13, 2023Updated 2 years ago
• shubhamprajapati7748 / sdlc-copilot

  View on GitHub
  SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…
  ☆22Jun 14, 2025Updated 8 months ago
• gongbell / CUDAsmith

  View on GitHub
  A CUDA compiler fuzzer
  ☆30Oct 12, 2023Updated 2 years ago
• ise-uiuc / nnsmith

  View on GitHub
  Automated DNN generation for fuzz testing and more
  ☆143Jan 14, 2025Updated last year
• langston-barrett / tree-splicer

  View on GitHub
  Simple grammar-based test case generator
  ☆40Feb 9, 2026Updated last week
• lin-tan / DocTer

  View on GitHub
  For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…
  ☆39Jul 19, 2022Updated 3 years ago
• pypower-codes / Steganography

  View on GitHub
  Data Hiding in Image
  ☆10Apr 9, 2020Updated 5 years ago
• Geof23 / Gklee

  View on GitHub
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆40Mar 23, 2021Updated 4 years ago
• hlnull / cs142

  View on GitHub
  cs142, web application
  ☆11Jun 24, 2017Updated 8 years ago
• zh1yu4nyu / CodeIPPrompt

  View on GitHub
  https://icml.cc/virtual/2023/poster/24354
  ☆10Aug 15, 2023Updated 2 years ago
• tlambert03 / pycudasirecon

  View on GitHub
  CUDA-accelerated reconstruction for 3D-structured-illumination
  ☆12Nov 24, 2025Updated 2 months ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Jan 8, 2026Updated last month
• danieldickison / kachiclash

  View on GitHub
  A Grand Sumo prediction game
  ☆10Updated this week
• tum-i4 / Oedipus

  View on GitHub
  A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
  ☆11Jul 25, 2016Updated 9 years ago
• SkyStonePan / ArcfaceDemo_liveness_CPP

  View on GitHub
  基于原Demo添加了活体检测
  ☆11Jul 18, 2019Updated 6 years ago
• masa-finance / masa-zkSBT

  View on GitHub
  A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.
  ☆11Nov 25, 2024Updated last year
• agra-uni-bremen / BinSym

  View on GitHub
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆54May 26, 2025Updated 8 months ago
• JWesleySM / Whiro

  View on GitHub
  ☆22Oct 30, 2024Updated last year
• icsnju / VeriXmith

  View on GitHub
  A tool for cross-checking Verilog compilers
  ☆14Apr 16, 2025Updated 10 months ago
• wangbo15 / accmut

  View on GitHub
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Jan 25, 2018Updated 8 years ago
• NevaMind-AI / open-personal-agent

  View on GitHub
  The first open-sourced personalized agent
  ☆27Dec 1, 2025Updated 2 months ago
• sutambe / cpp-generators

  View on GitHub
  Composable Data and Type Generators for C++
  ☆10Mar 25, 2019Updated 6 years ago
• CodeLLM-Research / CodeJudge-Eval

  View on GitHub
  [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?
  ☆12Dec 3, 2024Updated last year
• h4iku / T5APR

  View on GitHub
  Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."
  ☆11Oct 23, 2025Updated 3 months ago
• hiking90 / aidl-cpp

  View on GitHub
  AIDL compiler for C++ on Linux Desktop
  ☆12Aug 17, 2016Updated 9 years ago
• yiyiyi4321 / Vertical-Federated-Learning

  View on GitHub
  ☆12Nov 26, 2019Updated 6 years ago