xiehuc/llvm-pred external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

xiehuc/llvm-pred

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/xiehuc/llvm-pred)

Close

xiehuc / llvm-predView on GitHubMore

• External links
• Readme badge

predicate scientific program performance model using llvm

☆27Jun 12, 2015Updated 10 years ago

Alternatives and similar repositories for llvm-pred

Users that are interested in llvm-pred are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• turingH / MACOSX-SecurityUpdate

  View on GitHub
  整理统计MacOSX的安全补丁与修复的漏洞
  ☆10May 23, 2016Updated 9 years ago
• IITH-Compilers / LLVM-Loop-Profiler

  View on GitHub
  ☆15Feb 27, 2019Updated 7 years ago
• columbia / neongoby

  View on GitHub
  NeonGoby alias analysis checker
  ☆15Jul 2, 2013Updated 12 years ago
• bin2415 / llvm_CFGPass

  View on GitHub
  llvm control flow graph
  ☆26Sep 16, 2019Updated 6 years ago
• mcfi / MCFI

  View on GitHub
  MCFI/PICFI tool chain
  ☆44Mar 21, 2024Updated 2 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• matthesjh / coq-tal

  View on GitHub
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Mar 11, 2024Updated 2 years ago
• marcelosousa / descartes

  View on GitHub
  descartes: the cartesian hoare logic prover
  ☆12Feb 23, 2017Updated 9 years ago
• draperlaboratory / fracture

  View on GitHub
  an architecture-independent decompiler to LLVM IR
  ☆396Aug 5, 2015Updated 10 years ago
• raph-amiard / CamllVM

  View on GitHub
  An OCaml bytecode to LLVM compiler
  ☆43Mar 2, 2018Updated 8 years ago
• gdbinit / diagnostic_service

  View on GitHub
  OS X rootkit loader version #1
  ☆18Apr 10, 2015Updated 11 years ago
• cxm95 / IDA_Wrapper

  View on GitHub
  An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.
  ☆14Sep 12, 2019Updated 6 years ago
• snorez / blog

  View on GitHub
  blog
  ☆17Apr 27, 2020Updated 6 years ago
• bin2415 / llvm-stack-guard

  View on GitHub
  简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护
  ☆13Jul 13, 2017Updated 8 years ago
• fhboswell / llvm-analysis-and-transform-passes

  View on GitHub
  LLVM passes with usage instructions
  ☆18Apr 23, 2017Updated 9 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• rAzoR8 / EuroLLVM19

  View on GitHub
  Implementing SPMD control flow in LLVM using reconverging CFGs - Vectorizing Divergent Control-Flow for SIMD Applications
  ☆18Apr 11, 2019Updated 7 years ago
• xkinput / xxxk

  View on GitHub
  将星空系列汉字编码方案挂载到小小输入法。
  ☆13Updated this week
• thu-pacman / Spindle

  View on GitHub
  ☆34Jun 20, 2023Updated 2 years ago
• ktran / clairvoyance

  View on GitHub
  Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.
  ☆14Mar 14, 2019Updated 7 years ago
• guolong-zheng / sling

  View on GitHub
  ☆23Apr 17, 2023Updated 3 years ago
• HAWAIILAB / cuda-memtrace

  View on GitHub
  LLVM Plugin to Instrument Global Memory Accesses in CUDA Kernels
  ☆10Jun 8, 2020Updated 5 years ago
• SVF-tools / WebSVF

  View on GitHub
  WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
  ☆19Jan 29, 2026Updated 3 months ago
• s-matyukevich / goobj_explorer

  View on GitHub
  Simple program, that prints out in the console details of some go object file
  ☆22Jan 21, 2015Updated 11 years ago
• squaresLab / ManyBugs

  View on GitHub
  ☆18Sep 12, 2019Updated 6 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• Juniper / JP4Agent

  View on GitHub
  Juniper's P4 Runtime server implementation.
  ☆18Sep 24, 2018Updated 7 years ago
• typ0520 / fastdex-test-project

  View on GitHub
  ☆11Nov 2, 2017Updated 8 years ago
• chifflier / ocaml-llvm-tutorial

  View on GitHub
  OCaml LLVM bindings tutorial
  ☆22Apr 16, 2017Updated 9 years ago
• chubbymaggie / capstone2llvmir

  View on GitHub
  Library for Capstone instruction to LLVM IR translation
  ☆47Dec 12, 2017Updated 8 years ago
• delcypher / srg-llvm-pass-tutorial

  View on GitHub
  Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial
  ☆19Apr 26, 2015Updated 11 years ago
• cornell-brg / pymtl-tutorial-isca2019

  View on GitHub
  Code for PyMTL Tutorial @ ISCA 2019
  ☆11Jun 22, 2019Updated 6 years ago
• vmware-archive / vmmfuzzer

  View on GitHub
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Feb 4, 2020Updated 6 years ago
• cdl-saarland / axtor

  View on GitHub
  AST - Extractor for LLVM
  ☆18Feb 23, 2021Updated 5 years ago
• llvm-mirror / poolalloc

  View on GitHub
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆31Nov 7, 2015Updated 10 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• clh124 / VQAThinker

  View on GitHub
  [AAAI 2026] Official Code for VQAThinker: Exploring Generalizable and Explainable Video Quality Assessment via Reinforcement Learning
  ☆27Nov 28, 2025Updated 5 months ago
• halo-project / halo

  View on GitHub
  😇 Wholly Adaptive LLVM Optimizer
  ☆28Aug 29, 2020Updated 5 years ago
• mshockwave / generator-llvm

  View on GitHub
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Apr 28, 2022Updated 4 years ago
• Vector35 / arch-armv7

  View on GitHub
  ARMv7 architecture plugin
  ☆40Mar 7, 2024Updated 2 years ago
• LucasMFreire / assert-p4

  View on GitHub
  ☆13May 18, 2018Updated 7 years ago
• rhyme-lang / rhyme

  View on GitHub
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Apr 23, 2026Updated 2 weeks ago
• nsumner / llvm-dataflow-analysis

  View on GitHub
  ☆66Oct 29, 2019Updated 6 years ago