gongbell / CUDAsmithView external linksLinks
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.☆39Jan 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"☆22Jun 17, 2025Updated 7 months ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Process Orchestration Framework: A camunda 7 fork☆20Updated this week
- ☆27Mar 29, 2025Updated 10 months ago
- Library for training globally-robust neural networks.☆31Aug 7, 2025Updated 6 months ago
- ☆36Apr 26, 2023Updated 2 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- A Grand Sumo prediction game☆10Updated this week
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 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
- Research papers on ML for security☆35Jul 23, 2020Updated 5 years 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
- The first open-sourced personalized agent☆25Dec 1, 2025Updated 2 months ago
- TUI kanban board for orchestrating AI coding agents☆36Jan 28, 2026Updated 2 weeks ago
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Apr 30, 2024Updated last year
- ☆14Mar 10, 2025Updated 11 months ago
- salon for sharing thoughts and ideas☆12Nov 11, 2021Updated 4 years ago
- ☆22Oct 30, 2024Updated last year
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 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
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 9 months ago
- ☆14Nov 11, 2025Updated 3 months ago
- Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."☆11Oct 23, 2025Updated 3 months ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 4 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- ☆12Apr 22, 2023Updated 2 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 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
- ☆11Jan 19, 2025Updated last year
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 3 months ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- ☆10Mar 31, 2023Updated 2 years ago