OpenCL tool to detect buffer overflows in GPU kernels
☆23Jan 7, 2019Updated 7 years ago
Alternatives and similar repositories for clARMOR
Users that are interested in clARMOR are comparing it to the libraries listed below
Sorting:
- Asynchronous Task and Memory Interface, or ATMI, is a runtime framework and programming model for heterogeneous CPU-GPU systems. It provi…☆68Feb 15, 2024Updated 2 years ago
- Directed Acyclic Graph Execution Engine (DAGEE) is a C++ library that enables programmers to express computation and data movement, as ta…☆47Oct 12, 2021Updated 4 years ago
- GPUVerify: a Verifier for GPU Kernels☆75Jul 28, 2022Updated 3 years ago
- Clang-based translator for OP2☆12Jul 17, 2022Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆40Mar 23, 2021Updated 4 years ago
- CL Offline Compiler : Compile OpenCL kernels to HSAIL☆51May 5, 2017Updated 8 years ago
- Asset pack for the Vulkan samples repository☆28May 16, 2023Updated 2 years ago
- Command line interface to the NVIDIA OpenCL compiler☆22Jan 28, 2018Updated 8 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Legacy OS X GLX Implementation (has since been merged into mesa)☆14Oct 17, 2015Updated 10 years ago
- WebCL conformance tests☆20Feb 9, 2018Updated 8 years ago
- ☆14Mar 21, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/freeocl☆30Jan 6, 2018Updated 8 years ago
- [DEPRECATED] Moved to ROCm/rocm-libraries repo☆129Mar 12, 2026Updated last week
- MetroHash v1: Exceptionally fast and statistically robust hash functions☆10Apr 10, 2025Updated 11 months ago
- Simple foliage renderer☆14Sep 3, 2015Updated 10 years ago
- WebCL clang Dev☆14Sep 9, 2013Updated 12 years ago
- A very simple prototype for a basic OpenCL host and kernel code☆13Mar 28, 2017Updated 8 years ago
- Software Station is the future software manager for GhostBSD using pkgng.☆11Jun 23, 2025Updated 8 months ago
- Monte Carlo eXtreme for OpenCL (MCXCL)☆47Feb 21, 2026Updated last month
- FFI for OpenCL☆12Dec 19, 2015Updated 10 years ago
- Grass rendering using geometry instancing in Direct3D 10.☆16May 1, 2017Updated 8 years ago
- ☆29Apr 16, 2021Updated 4 years ago
- HCC Sample Applications☆13Jan 3, 2017Updated 9 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- Intra library and my projects based on it☆10Nov 12, 2023Updated 2 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆12Dec 18, 2025Updated 3 months ago
- C++ based implementation of StatNLP framework☆17Oct 3, 2023Updated 2 years ago
- Quick occlusion culling demo using OpenGL and OpenCL☆20Apr 25, 2012Updated 13 years ago
- A simulation platform for managed applications based on Maxine VM and ZSim☆11Jun 19, 2017Updated 8 years ago
- ☆18Jan 9, 2018Updated 8 years ago
- Flexible GPGPU instrumentation☆89Oct 10, 2019Updated 6 years ago
- Compiler Course☆19Apr 29, 2015Updated 10 years ago
- Ebuilds to install ROCM on Gentoo Linux☆38Jan 14, 2023Updated 3 years ago
- SUPBUB is a tool that, in linear time, finds out superbubbles(special graph-structures) in a directed graph.☆12Sep 19, 2019Updated 6 years ago
- ☆21Aug 2, 2024Updated last year
- Test application for C++ reflection☆16Mar 23, 2019Updated 6 years ago
- ☆17Aug 27, 2022Updated 3 years ago
- A way to visualize nginx config files☆10Nov 21, 2022Updated 3 years ago