A CUDA compiler fuzzer
☆30Oct 12, 2023Updated 2 years ago
Alternatives and similar repositories for CUDAsmith
Users that are interested in CUDAsmith are comparing it to the libraries listed below
Sorting:
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆40Jan 11, 2026Updated last month
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 2 years ago
- Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"☆23Jun 17, 2025Updated 8 months ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- ☆27Mar 29, 2025Updated 11 months ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 3 months ago
- Library for training globally-robust neural networks.☆31Aug 7, 2025Updated 7 months ago
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- ☆36Apr 26, 2023Updated 2 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Mar 9, 2023Updated 2 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- A Grand Sumo prediction game☆10Updated this week
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- ☆12Aug 21, 2019Updated 6 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 9 months ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."☆11Oct 23, 2025Updated 4 months ago
- ☆11Jan 19, 2025Updated last year
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 8 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- ☆12Nov 26, 2019Updated 6 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- Port of GRChombo to AMReX - under development!☆12Updated this week
- Python bindings for coreir☆11Sep 13, 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 2 years ago
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 4 months ago
- ☆12Apr 22, 2023Updated 2 years ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago