Alternatives and similar repositories for gpuverify:

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

• apc-llc / nvcc-llvm-ir
  Enabling on-the-fly manipulations with LLVM IR code of CUDA sources
  ☆110Updated 2 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆107Updated last month
• mangpo / swizzle-inventor
  A framework that helps implementing swizzle GPU kernels
  ☆42Updated 5 years ago
• Meinersbur / ppcg
  Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)
  ☆123Updated 2 years ago
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆19Updated last year
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆48Updated 6 years ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆49Updated 8 years ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• NVlabs / SASSI
  Flexible GPGPU instrumentation
  ☆86Updated 5 years ago
• intel / vc-intrinsics
  ☆56Updated this week
• ChrisLidbury / CLSmith
  OpenCL extension for csmith.
  ☆24Updated 7 years ago
• NVlabs / ptxmemorymodel
  ☆52Updated 5 years ago
• ogiroux / freestanding
  ☆68Updated 4 years ago
• insieme / insieme
  The Insieme Compiler and Runtime Infrastructure
  ☆33Updated 5 years ago
• hyqneuron / asfermi
  assembler for NVIDIA FERMI. Imported from Google Code
  ☆72Updated 9 years ago
• inducer / islpy
  Python wrapper for isl, an integer set library
  ☆76Updated this week
• IntelLabs / iHRC
  Intel Heterogeneous Research Compiler (iHRC)
  ☆25Updated 2 years ago
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆61Updated 5 years ago
• PRUNERS / archer
  Archer, a data race detection tool for large OpenMP applications
  ☆63Updated 4 years ago
• laanwj / decuda
  Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.
  ☆98Updated 14 years ago
• lanl / Byfl
  Program analysis tool based on software performance counters
  ☆56Updated 3 years ago
• bprail / contech
  The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…
  ☆52Updated this week
• ProGTX / sycl-gtx
  Implementation of the SYCL specification.
  ☆67Updated 8 months ago
• karrenberg / wfv
  IMPORTANT NOTICE: This implementation is long outdated. The new libwfv will be released soon. Whole-Function Vectorization is an algorith…
  ☆22Updated 12 years ago
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆109Updated last year
• jholewinski / llvm-ptx-samples
  Sample programs for the LLVM PTX back-end
  ☆37Updated 9 years ago
• iml130 / mlir-emitc
  Conversions to MLIR EmitC
  ☆127Updated 3 months ago
• periscop / clan
  Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs
  ☆23Updated 2 years ago
• ProjectPhysX / PTXprofiler
  A simple profiler to count Nvidia PTX assembly instructions of OpenCL/SYCL/CUDA kernels for roofline model analysis.
  ☆50Updated last year
• KhronosGroup / SYCL-CTS
  SYCL Conformance Tests
  ☆68Updated this week