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 11 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 10 years ago
• bin2415 / llvm_CFGPass

  View on GitHub
  llvm control flow graph
  ☆26Sep 16, 2019Updated 6 years ago
• StarGazerM / ppa-in-code

  View on GitHub
  some my implementation of content in PPA
  ☆18Nov 3, 2020Updated 5 years ago
• fhboswell / llvm-analysis-and-transform-passes

  View on GitHub
  LLVM passes with usage instructions
  ☆18Apr 23, 2017Updated 9 years ago
• mcfi / MCFI

  View on GitHub
  MCFI/PICFI tool chain
  ☆44Mar 21, 2024Updated 2 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• bin2415 / llvm-stack-guard

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

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

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 6 years ago
• marcelosousa / descartes

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

  View on GitHub
  ☆11Sep 22, 2017Updated 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
• rAzoR8 / EuroLLVM19

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

  View on GitHub
  blog
  ☆17Apr 27, 2020Updated 6 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.
• columbia / neongoby

  View on GitHub
  NeonGoby alias analysis checker
  ☆15Jul 2, 2013Updated 13 years ago
• ZikangXiong / VRL_CodeReview

  View on GitHub
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆14Jan 14, 2020Updated 6 years ago
• cpi-llvm / clang

  View on GitHub
  ☆15Jul 19, 2015Updated 11 years ago
• agurfinkel / spacer-on-jupyter

  View on GitHub
  ☆21May 11, 2023Updated 3 years ago
• guolong-zheng / sling

  View on GitHub
  ☆23Apr 17, 2023Updated 3 years ago
• squaresLab / ManyBugs

  View on GitHub
  ☆18Sep 12, 2019Updated 6 years ago
• HAWAIILAB / cuda-memtrace

  View on GitHub
  LLVM Plugin to Instrument Global Memory Accesses in CUDA Kernels
  ☆10Jun 8, 2020Updated 6 years ago
• typ0520 / fastdex-test-project

  View on GitHub
  ☆11Nov 2, 2017Updated 8 years ago
• SVF-tools / WebSVF

  View on GitHub
  WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
  ☆20Jan 29, 2026Updated 6 months ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• sderek / CUDAAdvisor

  View on GitHub
  CUDAAdvisor: a GPU profiling tool
  ☆53Aug 24, 2018Updated 7 years ago
• cloggo / python-ctags

  View on GitHub
  Automatically exported from code.google.com/p/python-ctags
  ☆17Sep 18, 2018Updated 7 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
  ☆48Dec 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
• Juniper / JP4Agent

  View on GitHub
  Juniper's P4 Runtime server implementation.
  ☆18Sep 24, 2018Updated 7 years ago
• vmware-archive / vmmfuzzer

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

  View on GitHub
  an architecture-independent decompiler to LLVM IR
  ☆396Aug 5, 2015Updated 10 years ago
• nullromo / compression-accelerator

  View on GitHub
  Implementation of the Snappy compression algorithm as a RoCC accelerator
  ☆12Jul 29, 2019Updated 7 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.
• cdl-saarland / axtor

  View on GitHub
  AST - Extractor for LLVM
  ☆18Feb 23, 2021Updated 5 years ago
• APS-Networks / bfrt-helper

  View on GitHub
  A library for creating gRPC messages and communicating with devices exposing a Barefoot Runtime gRPC interface.
  ☆13May 30, 2025Updated last year
• cornell-brg / pymtl-tutorial-isca2019

  View on GitHub
  Code for PyMTL Tutorial @ ISCA 2019
  ☆11Jun 22, 2019Updated 7 years ago
• upenn-acg / gpuDranoDynamicAnalysis

  View on GitHub
  An llvm pass for counting global uncoalesced acceses for cuda code via dynamic analysis.
  ☆14Nov 17, 2018Updated 7 years ago
• Vector35 / arch-armv7

  View on GitHub
  ARMv7 architecture plugin
  ☆40Mar 7, 2024Updated 2 years ago
• liancheng / llvm-tutorial-cn

  View on GitHub
  Simplified Chinese translation for the LLVM Tutorial
  ☆518Aug 21, 2022Updated 3 years ago
• AD1024 / dtlc

  View on GitHub
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Sep 3, 2020Updated 5 years ago