A differential testing tool targeting SPIRV based on structured fuzzing techniques
☆16Dec 9, 2022Updated 3 years ago
Alternatives and similar repositories for SPIRVSmith
Users that are interested in SPIRVSmith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Single-header C++ implementation of a Z-order octree data structure☆11May 3, 2021Updated 5 years ago
- Converting the C-like language to binary or human readable SPIR-V☆20Jul 22, 2020Updated 6 years ago
- ☆12Jul 22, 2023Updated 3 years ago
- SPEAR is a integrated domain specific language translating C++17 to SPIR-V at host runtime☆51Aug 11, 2018Updated 8 years ago
- Single header SPIR-V compressor for C and C++☆33Sep 29, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sets up a specific version of the Windows 10 SDK☆13Nov 17, 2025Updated 11 months ago
- Perfetto-based Vulkan Shader Profiler☆12May 15, 2026Updated 5 months ago
- N2O: Application Server☆14Nov 22, 2022Updated 3 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated 3 weeks ago
- The Scenario Runner is an application that executes shader and neural network graph workloads through Vulkan® or the ML extensions for Vu…☆14Updated this week
- Experimental implementation of OpenCL over Metal☆12Jul 20, 2022Updated 4 years ago
- SpvGenTwo is a SPIR-V building and parsing library written in plain C++17 without any dependencies. No STL or other 3rd-Party library nee…☆173Oct 14, 2023Updated 3 years ago
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- TI's implementation of the OpenVX standard.☆20Jul 23, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆11Feb 13, 2017Updated 9 years ago
- A Single .py File Sympy Extension to Generate Eigen C++ Code from the Symbols.☆12Dec 17, 2025Updated 10 months ago
- ☆12Aug 26, 2024Updated 2 years ago
- ☆17Jul 7, 2025Updated last year
- Amber is a multi-API shader test framework☆227Sep 24, 2026Updated last month
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- Game Engine by an ADHDer that will never be finished. Hopes that my Autism can fix this bug.☆11Jun 12, 2026Updated 4 months ago
- A shader script tester for Vulkan. Moved to https://gitlab.freedesktop.org/mesa/vkrunner☆46Sep 18, 2023Updated 3 years ago
- ☆14May 26, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a header-only crossplatform type-safe dynamic compiler generator based on C++ 17.☆11Mar 1, 2022Updated 4 years ago
- Generate SPIR-V bytecode from an operation graph☆71Feb 20, 2020Updated 6 years ago
- GSDMM: Short text clustering (Rust implementation)☆24Apr 26, 2023Updated 3 years ago
- a tool for viewing SPIRV binaries to GLSL and SPIRV assembly as well as reflection data☆58Aug 2, 2016Updated 10 years ago
- CMake build system for the Vega FEM package☆16Jan 4, 2015Updated 11 years ago
- Experimental OpenCL SPIR-V to OpenCL C translator☆29Mar 1, 2026Updated 8 months ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Oct 9, 2021Updated 5 years ago
- Implementing VBD in NVIDIA Warp☆16Dec 14, 2025Updated 10 months ago
- A recursive C preprocessor macro which performs an operation on each element of a list☆14May 29, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Contact model for 3D elastic rod simulations. Framework for flagella bundling.☆15Mar 29, 2024Updated 2 years ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated last year
- ☆17Dec 24, 2024Updated last year
- UUPC/extended, a free DOS-OS/2-NT version (and pun of) UUCP (UNIX-to-UNIX copy)☆11Jun 24, 2018Updated 8 years ago
- Containers of fixed capacity,☆11May 17, 2025Updated last year
- Parallel CUDA FloodFill algorithm working on 2D and 3D arrays with obstacles☆17Sep 14, 2018Updated 8 years ago
- oystr recursively searches directories for a substring.☆11Apr 24, 2022Updated 4 years ago