Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning
☆37Jul 14, 2025Updated last year
Alternatives and similar repositories for Compiler-R1
Users that are interested in Compiler-R1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code repository for the SOSP'25 paper DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism.☆22Nov 28, 2025Updated 9 months ago
- [ICML 2025] Official resources of "KBQA-o1: Agentic Knowledge Base Question Answering with Monte Carlo Tree Search".☆38Dec 6, 2025Updated 9 months ago
- ☆27Mar 29, 2025Updated last year
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- ☆20May 24, 2025Updated last year
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆35Jan 15, 2026Updated 8 months ago
- ☆22May 30, 2026Updated 3 months ago
- A Triton-only attention backend for vLLM☆28Jul 14, 2026Updated 2 months ago
- ☆17Aug 1, 2025Updated last year
- Code and data for QueryAgent(ACL 2024)☆21Dec 19, 2024Updated last year
- [NeurIPS'25] EffiBench-X: A Multi-Language Benchmark for Measuring Efficiency of LLM-Generated Code☆17Oct 24, 2025Updated 10 months ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Jul 28, 2026Updated last month
- 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.
- ☆45Sep 8, 2025Updated last year
- ☆21Apr 3, 2026Updated 5 months ago
- An open toolkit and public dataset hub for collecting, sanitizing, analyzing, and visualizing coding agent traces.☆124Aug 22, 2026Updated 3 weeks ago
- An experimental communicating attention kernel based on DeepEP.☆34Jul 29, 2025Updated last year
- ☆32Jul 2, 2025Updated last year
- Minimal PyTorch implementation of TP, SP, FSDP and sharded-EMA☆32Nov 27, 2025Updated 9 months ago
- Sample Codes using NVSHMEM on Multi-GPU☆30Jan 22, 2023Updated 3 years ago
- Fork of Flame repo for training of some new stuff in development☆20Aug 27, 2026Updated 3 weeks ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆21Jan 17, 2026Updated 8 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.
- A GPU Cluster Simulator for Distributed Deep Learning Training.☆10Jan 15, 2022Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- [ACL 2026] Official resources of "Prompt-R1: Collaborative Automatic Prompting Framework via End-to-end Reinforcement Learning "☆61Sep 3, 2026Updated 2 weeks ago
- ☆13Dec 9, 2024Updated last year
- ☆62Feb 24, 2026Updated 6 months ago
- Connecting bv_decide to SMTLIB.☆19Aug 27, 2026Updated 3 weeks ago
- official impelmentation of Kangaroo: A Powerful Video-Language Model Supporting Long-context Video Input☆67Aug 30, 2024Updated 2 years ago
- Driver tieing together compiler and AI models to achieve better code optimizations.☆19May 3, 2026Updated 4 months ago
- Floating Point Semantics Mechanization for Lean☆24Jun 18, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆16Oct 2, 2025Updated 11 months ago
- ☆18Aug 4, 2025Updated last year
- [NeurIPS 2025] ClusterFusion: Expanding Operator Fusion Scope for LLM Inference via Cluster-Level Collective Primitive☆77Aug 8, 2026Updated last month
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 8 months ago
- ☆15Mar 20, 2025Updated last year
- my solution for UC Berkeley AI projects pacman☆11Jul 25, 2020Updated 6 years ago
- X-Reasoner: Towards Generalizable Reasoning Across Modalities and Domains☆48Feb 4, 2026Updated 7 months ago