☆19Aug 15, 2026Updated 2 months ago
Alternatives and similar repositories for volta
Users that are interested in volta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GPU kernel verification with Pulse☆21Updated this week
- TensorIR is a lightweight NVIDIA-owned MLIR compiler frontend for expressing tensor computations and lowering them to NVIDIA CUDA Tile IR…☆138Oct 15, 2026Updated last week
- Automatic formal verification for warp-specialized GPU kernels.☆67Updated this week
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week
- A linker for partial GPU kernels.☆32Oct 12, 2026Updated last week
- 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.
- Random program generation based on semantic reification (PLDI'26)☆25Oct 7, 2026Updated 2 weeks ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆27Oct 3, 2026Updated 2 weeks ago
- FlagGems-sglang is part of FlagOS. It is a high-performance operator library designed for multiple hardware backends.☆20Updated this week
- Automatic regression verification for LLVM programs☆21Jul 16, 2021Updated 5 years ago
- Divide 64-bit integers faster than hardware. Or precompute for a given denom and quickly divide repeatedly.☆32Sep 30, 2021Updated 5 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- PTXBench: an open-source environment for kernel agents with architecture-specifc CUDA/PTX☆35Oct 16, 2026Updated last week
- 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.
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- bpf_fault is a framework enabling custom page fault handling with eBPF. Appeared in SOSP 2026.☆49Oct 11, 2026Updated last week
- An Open Compiler Harness for Agentic GPU Programming☆166Updated this week
- https://arxiv.org/abs/2610.13990☆33Oct 15, 2026Updated last week
- An LLM-based fuzzing framework for C compilers testing.☆25Dec 14, 2025Updated 10 months ago
- A Rust SDK and command-line tool for managing and controlling the mihomo proxy service. 一个用于管理和控制 mihomo 代理服务的 Rust SDK 和命令行工具。☆15Updated this week
- Archer: Agentic Code Review for LLVM PRs☆28Oct 16, 2026Updated last week
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- RTLCheck☆26Oct 9, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆59May 15, 2026Updated 5 months ago
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- xoroshiro128+ implementation in Rust☆11Jun 5, 2020Updated 6 years ago
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 years ago
- An open-sourced PyTorch library for developing energy efficient multiplication-less models and applications.☆14Feb 3, 2025Updated last year
- ☆17May 29, 2026Updated 4 months ago
- An open source coding agent whose only tool is a durable code REPL, with tools and recursive subagents called from code. Forked from Open…☆31Updated 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.
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.☆27Updated this week
- A randomized program fuzzer for the Rust programming language☆67Jul 21, 2023Updated 3 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- A simple 5-transistor OTA.☆12Jun 27, 2025Updated last year
- Fast Symbolic Repair of Hardware Design Code☆40Jan 20, 2025Updated last year
- A PBT framework☆10Jul 19, 2025Updated last year