Alternatives and similar repositories for gpuverify

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

• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆111Updated 3 months ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆49Updated 7 years ago
• mangpo / swizzle-inventor
  A framework that helps implementing swizzle GPU kernels
  ☆42Updated 5 years ago
• apc-llc / nvcc-llvm-ir
  Enabling on-the-fly manipulations with LLVM IR code of CUDA sources
  ☆112Updated 4 months ago
• SamAinsworth / reproduce-cgo2017-paper
  Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
  ☆41Updated 3 years ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆135Updated 5 years ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆53Updated 8 years ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• nvidia-compiler-sdk / nvvmir-samples
  ☆74Updated 2 years ago
• periscop / cloog
  The CLooG Code Generator in the Polyhedral Model
  ☆51Updated 2 years ago
• laanwj / decuda
  Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.
  ☆103Updated 15 years ago
• periscop / clan
  Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs
  ☆24Updated 2 years ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 8 years ago
• NVlabs / ptxmemorymodel
  ☆64Updated 6 years ago
• NVlabs / SASSI
  Flexible GPGPU instrumentation
  ☆88Updated 5 years ago
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆21Updated last year
• Meinersbur / ppcg
  Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)
  ☆126Updated 3 years ago
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆62Updated 5 years ago
• ithemal / Ithemal
  Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
  ☆149Updated 3 years ago
• IntelLabs / iHRC
  Intel Heterogeneous Research Compiler (iHRC)
  ☆25Updated 2 years ago
• hyqneuron / asfermi
  assembler for NVIDIA FERMI. Imported from Google Code
  ☆73Updated 10 years ago
• hipacc / hipacc
  A domain-specific language and compiler for image processing
  ☆76Updated 4 years ago
• inducer / islpy
  Python wrapper for isl, an integer set library
  ☆77Updated last week
• HSAFoundation / HSAIL-Tools
  Tools for parsing, assembling, and disassembling HSAIL.
  ☆74Updated 5 years ago
• spcl / haystack
  Haystack is an analytical cache model that given a program computes the number of cache misses.
  ☆46Updated 6 years ago
• ChrisLidbury / CLSmith
  OpenCL extension for csmith.
  ☆24Updated 8 years ago
• Meinersbur / pet
  Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
  ☆39Updated 3 years ago
• Meinersbur / isl
  Integer Set Library (source repository: http://repo.or.cz/w/isl.git)
  ☆73Updated 7 months ago
• Xilinx / triSYCL
  Generic system-wide modern C++ for heterogeneous platforms with SYCL from Khronos Group
  ☆77Updated 4 years ago
• jholewinski / llvm-ptx-samples
  Sample programs for the LLVM PTX back-end
  ☆39Updated 10 years ago