Automatic formal verification for warp-specialized GPU kernels.
☆109Nov 6, 2026Updated this week
Alternatives and similar repositories for sentryward
Users that are interested in sentryward are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Open Compiler Harness for Agentic GPU Programming☆195Updated this week
- Autonomous CUDA kernel optimization agent with structured task specs and per-config scoring☆19Jun 17, 2026Updated 4 months ago
- Open ML Compiler Foundation for the Agentic Era☆85Updated this week
- ☆12May 8, 2026Updated 6 months ago
- Lightweight Benchmark Server for Agentic GPU Programming☆58Updated this week
- 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.
- An Attention Superoptimizer☆22Jan 20, 2025Updated last year
- Understand your LLM before deploy☆38Updated this week
- Curated high-performance TIRx GPU kernels☆36Updated this week
- Flash-Flash KDA: H100-optimized Flash Kimi Delta Attention kernels☆24Jul 24, 2026Updated 3 months ago
- FLAT: Flash Linear Attention on TPUs☆24Oct 13, 2026Updated 3 weeks ago
- ☆32Jul 2, 2025Updated last year
- FlexFlow Serve: Low-Latency, High-Performance LLM Serving☆91Sep 15, 2025Updated last year
- ☆16Updated this week
- Vortex: Programmable Sparse Attention for Agents as Algorithm Designers☆69Aug 22, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [MLSys 26] 🥇 Solution for Gated Delta Net Track of MLSys 26 Flash infer competition☆38May 22, 2026Updated 5 months ago
- ☆25Oct 28, 2026Updated last week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated 7 months ago
- Building the Virtuous Cycle for AI-driven LLM Systems☆305Sep 25, 2026Updated last month
- A collection of out-of-tree extensions for the Triton language and compiler☆45Updated this week
- Reference implementation and examples of the CuTe Layout representation and algebra.☆394Updated this week
- Reverse-engineered instruction set architecture database for NVIDIA SM120 (Blackwell) GPUs.☆28Updated this week
- ☆142Updated this week
- ☆10Apr 14, 2026Updated 6 months ago
- 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.
- mKernel: fast multi-node, multi-GPU fused kernels☆309Oct 17, 2026Updated 3 weeks ago
- ☆275Oct 14, 2026Updated 3 weeks ago
- An Optimizer for Nvidia Compilers.☆146Oct 21, 2026Updated 2 weeks ago
- ☆46Oct 15, 2025Updated last year
- A linker for partial GPU kernels.☆47Oct 28, 2026Updated last week
- Virtual Decoupled Cores: Composable Programming Framework and Runtime for Async GPUs☆26Oct 27, 2026Updated last week
- A collection of megakernels for TPU☆182Oct 15, 2026Updated 3 weeks ago
- A Triton JIT runtime and ffi provider in C++☆41Updated this week
- Mirage Persistent Kernel: Compiling LLMs into a MegaKernel☆2,606Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- TensorIR is a lightweight NVIDIA-owned MLIR compiler frontend for expressing tensor computations and lowering them to NVIDIA CUDA Tile IR…☆141Oct 28, 2026Updated last week
- ☆20Aug 27, 2026Updated 2 months ago
- lithos-metal: high-performance LLM inference kernels and serving for Apple silicon.☆339Oct 21, 2026Updated 2 weeks ago
- Region-level profiling for CUDA kernels with trace, NVBit, CUPTI, NSys, and an interactive Explorer.☆134Apr 17, 2026Updated 6 months ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- ☆14Updated this week
- FlashTile is a CUDA Tile IR compiler that is compatible with NVIDIA's tileiras, targeting SM70 through SM121 NVIDIA GPUs.☆62Feb 6, 2026Updated 9 months ago