Alternatives and similar repositories for llvm-sra

Users that are interested in llvm-sra are comparing it to the libraries listed below

• hanchenye / polyaie

  View on GitHub
  An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE
  ☆18Aug 5, 2022Updated 3 years ago
• thinkmoore / llvm-deps

  View on GitHub
  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
  ☆19Mar 2, 2013Updated 12 years ago
• attekett / nipsu

  View on GitHub
  Crash repro minifier for ASan-instrumented commandline tools.
  ☆12Dec 29, 2019Updated 6 years ago
• stephenneuendorffer / vyasa

  View on GitHub
  Xilinx Modifications to Halide
  ☆14May 3, 2021Updated 4 years ago
• TovarishFin / smart-contract-boilerplate

  View on GitHub
  Boilerplate for smart contract development which includes all needed basic tools and linting
  ☆17Oct 4, 2018Updated 7 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• mwielgoszewski / SecureEnclaveToken

  View on GitHub
  A Secure Enclave Token Driver Smartcard Extension
  ☆61Dec 1, 2022Updated 3 years ago
• gsstark / libfuzzer-pg

  View on GitHub
  ☆27Jan 27, 2017Updated 9 years ago
• Cisco-Talos / freesentry

  View on GitHub
  ☆33Oct 25, 2016Updated 9 years ago
• Antique-team / memcad

  View on GitHub
  The MemCAD static analyzer
  ☆27Oct 15, 2021Updated 4 years ago
• hbgit / Map2Check

  View on GitHub
  Map2Check: Finding Software Vulnerabilities
  ☆30Nov 13, 2020Updated 5 years ago
• zihaoli-cn / compiler-paper-reading

  View on GitHub
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆25Aug 23, 2022Updated 3 years ago
• jarulraj / n-store

  View on GitHub
  NVM Evaluation Testbed
  ☆29Jul 25, 2018Updated 7 years ago
• grievejia / andersen

  View on GitHub
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆234Jun 19, 2019Updated 6 years ago
• ortegaalfredo / autok-extension

  View on GitHub
  AI-powered bug hunter - vscode plugin.
  ☆37Sep 15, 2024Updated last year
• mfs409 / llvm-transmem

  View on GitHub
  ☆11Aug 5, 2020Updated 5 years ago
• yangqiang / BigDataBench-Spark

  View on GitHub
  BigDataBench Spark workloads
  ☆11Jul 15, 2016Updated 9 years ago
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated 11 months ago
• mywish07 / open-mpi

  View on GitHub
  Parallel programs with OpenMPI
  ☆10Apr 1, 2015Updated 10 years ago
• duckie / cpp_project_template

  View on GitHub
  A simple template to start quickly a C++ project managed by CMake.
  ☆41Jul 2, 2018Updated 7 years ago
• pku-liang / Hector

  View on GitHub
  A hardware synthesis framework with multi-level paradigm
  ☆44Jan 10, 2025Updated last year
• micchie / paste

  View on GitHub
  Latest PASTE (NSDI'18) repository
  ☆13May 2, 2022Updated 3 years ago
• Dinistro / circt-stream

  View on GitHub
  A stream to RTL compiler based on MLIR and CIRCT
  ☆16Nov 15, 2022Updated 3 years ago
• wilyub / VeriThoughts

  View on GitHub
  The first large scale formally verified reasoning dataset for Verilog
  ☆19May 16, 2025Updated 9 months ago
• kevinMEH / keyscan

  View on GitHub
  Keyscan: AI-powered API key scanner for GitHub Gists.
  ☆28Jan 1, 2026Updated last month
• protocol-security / fuzztools

  View on GitHub
  Struct-aware fuzzing framework + some fuzzers
  ☆29Jan 28, 2026Updated 2 weeks ago
• oldeurope / rwthctf2012

  View on GitHub
  ☆40Nov 24, 2013Updated 12 years ago
• jianyicheng / iiProver

  View on GitHub
  An LLVM pass to prove that an II works for the given loop for Vitis HLS
  ☆11Aug 22, 2021Updated 4 years ago
• MyCryptoHQ / sentry

  View on GitHub
  A bot that watches a website or GitHub assets for changes and communicates them to Slack.
  ☆11Apr 5, 2019Updated 6 years ago
• Berkeley-Correctness-Group / Jalangi-Berkeley

  View on GitHub
  Doing research on top of Jalangi
  ☆12Sep 9, 2016Updated 9 years ago
• badlogic / lsp-cli

  View on GitHub
  Extract symbol information from codebases using Language Server Protocol
  ☆19Jul 15, 2025Updated 7 months ago
• eth-easl / pccheck

  View on GitHub
  ☆12Nov 8, 2024Updated last year
• weiwujiang / craw_national_data

  View on GitHub
  抓取国家统计局数据
  ☆13May 4, 2016Updated 9 years ago
• seanbaxter / gtc_2014

  View on GitHub
  Companion source code for GTC 2014 talk
  ☆11Mar 25, 2014Updated 11 years ago
• mpoulshock / DataPrivacyComplianceAPI

  View on GitHub
  An API that encodes data privacy and protection laws from around the world and returns risk and compliance assessments
  ☆11Jul 3, 2017Updated 8 years ago
• TerryC78 / CMU_16745_Assignment3

  View on GitHub
  Footstep planning and Trajectory Optimization
  ☆10Apr 12, 2015Updated 10 years ago
• sumy7 / Language_Implementation_Patterns

  View on GitHub
  编译语言实现模式例程
  ☆11Nov 22, 2014Updated 11 years ago
• mathcbc / GMM-EM

  View on GitHub
  The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）
  ☆12Dec 30, 2018Updated 7 years ago
• PragmaTwice / codepunk

  View on GitHub
  [WIP] Interval Analysis on LLVM IR
  ☆12Jul 6, 2020Updated 5 years ago