A CUDA compiler fuzzer
☆34Oct 12, 2023Updated 3 years ago
Alternatives and similar repositories for CUDAsmith
Users that are interested in CUDAsmith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- differential☆12Oct 30, 2019Updated 7 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 8 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 6 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆16Mar 19, 2023Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 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.
- ☆20Sep 30, 2026Updated last month
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 3 years ago
- A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels☆21Jun 17, 2015Updated 11 years ago
- drawing docker icon☆10Jun 11, 2017Updated 9 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- ☆16Feb 7, 2023Updated 3 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆60Updated this week
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆13Mar 29, 2022Updated 4 years ago
- Like C and C++ but with Dependent Types☆11Jan 18, 2026Updated 9 months ago
- Ditwo: Differential Testing framework for WebAssembly Optimizers☆14May 30, 2023Updated 3 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Jun 26, 2018Updated 8 years ago
- ZKsync protocol libraries☆22Updated this week
- ☆12Oct 14, 2026Updated 3 weeks ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 3 years ago
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- A case for representing data collections and objects in the LLVM IR☆27Jan 29, 2026Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The ZIMH simulators package☆11Updated this week
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 5 years ago
- Official code of MoSA (Mixture of Sparse Adapters).☆13Dec 14, 2023Updated 2 years ago
- This is the official code for CoRL 2022 "Robustness Certification of Visual Perception Models via Camera Motion Smoothing"☆11Apr 5, 2023Updated 3 years ago
- lua-5.3.5源码注释，注解总结链接：☆12Jun 9, 2019Updated 7 years ago
- TileGraph is an experimental DNN compiler that utilizes static code generation and kernel fusion techniques.☆11Sep 18, 2024Updated 2 years ago
- A System for Differential Debugging☆25Apr 10, 2025Updated last year
- ☆16Mar 17, 2026Updated 7 months ago
- Debian For PineTab-V☆14Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Research papers on ML for security☆36Jul 23, 2020Updated 6 years ago
- GKE cluster using Litmus Chaos Engine to validate Zebrium's unsupervised Machine Learning incident detection platform☆18Jun 2, 2023Updated 3 years ago
- Library for training globally-robust neural networks.☆31Aug 7, 2025Updated last year
- Description: source code of the OPTEE_OS for NVIDIA Jetson Linux☆12Jan 12, 2023Updated 3 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 3 years ago
- ☆27Mar 29, 2025Updated last year
- CUDA Driver API Calls Interception☆12Apr 15, 2024Updated 2 years ago
Are these results useful?