PTXBench: an open-source environment for kernel agents with architecture-specifc CUDA/PTX
☆35Oct 16, 2026Updated this week
Alternatives and similar repositories for PTXBench
Users that are interested in PTXBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆57Sep 27, 2026Updated 3 weeks ago
- TAIDL: Tensor Accelerator ISA Definition Language☆23Updated this week
- Learning Native Reflection in Unified Models: reflection SFT and multi-round Flow-GRPO RL for BAGEL☆31Sep 29, 2026Updated 2 weeks ago
- ☆37Oct 5, 2026Updated 2 weeks ago
- Sparse Decoupled Attention for Efficient Long-Context LLM Inference☆74Jun 4, 2026Updated 4 months 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.
- Lightweight Benchmark Server for Agentic GPU Programming☆58Updated this week
- ☆32Oct 7, 2026Updated last week
- An Open Compiler Harness for Agentic GPU Programming☆160Updated this week
- Reference implementation and examples of the CuTe Layout representation and algebra.☆379Sep 30, 2026Updated 2 weeks ago
- A linker for partial GPU kernels.☆27Oct 12, 2026Updated last week
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Curated high-performance TIRx GPU kernels☆32Updated this week
- Iterative agent harness improvement: run a coding agent on a hard task, generate the reusable tooling it was missing, qualify it, and rep…☆44Jul 2, 2026Updated 3 months ago
- ☆97Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LLM4HWDesign Starting Toolkit☆20Oct 4, 2024Updated 2 years ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated 3 weeks ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- [NeurIPS 2026] Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification☆26Updated this week
- New batched algorithm for sparse matrix-matrix multiplication (SpMM)☆16May 7, 2019Updated 7 years ago
- 📄Score Centering Stabilizes Off-policy Reinforcement Learning☆179Updated this week
- Automatic formal verification for warp-specialized GPU kernels.☆51Updated this week
- My tests and experiments with some popular dl frameworks.☆17Sep 11, 2025Updated last year
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months 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.
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Code for the paper ReplaySSM: Cache SSM Inputs, Not State☆57Updated this week
- Sparse-dense matrix-matrix multiplication on GPUs☆13Oct 15, 2018Updated 8 years ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- ☆38Aug 4, 2026Updated 2 months ago
- bpf_fault is a framework enabling custom page fault handling with eBPF. Appeared in SOSP 2026.☆48Oct 11, 2026Updated last week
- ☆17Mar 29, 2026Updated 6 months ago
- CUDA Craftax-Classic: 7x faster RL training than JAX☆80Sep 10, 2026Updated last month
- DeepStack: Facilitating Co-Design Exploration of 3D DRAM-Stacked Accelerators for Distributed LLM Inference. Includes the MICRO 2026 AE a…☆65Oct 5, 2026Updated 2 weeks ago
- 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.
- Weak-to-Strong On-Policy Distillation☆34Aug 9, 2026Updated 2 months ago
- Fun project to run your own LLM chat bot using llama.cpp☆11Jun 9, 2023Updated 3 years ago
- Distributed SDDMM Kernel☆13Jul 8, 2022Updated 4 years ago
- ☆36Mar 31, 2025Updated last year
- Official Implementation of "DiffusionART: Efficient, Stable and Scalable Reinforcement of Diffusion Models"☆150Updated this week
- ☆13May 8, 2020Updated 6 years ago
- ☆17Mar 23, 2026Updated 6 months ago