Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning
☆36Jul 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.☆21Nov 28, 2025Updated 7 months ago
- [ICML 2025] Official resources of "KBQA-o1: Agentic Knowledge Base Question Answering with Monte Carlo Tree Search".☆38Dec 6, 2025Updated 7 months ago
- ☆26Mar 29, 2025Updated last year
- Work related to vectorizing strategies for arbitrary FHE programs☆11Sep 5, 2025Updated 10 months ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This is the official repository for all the code of TheoremLlama☆48Aug 4, 2025Updated 11 months ago
- ☆20May 24, 2025Updated last year
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆34Jan 15, 2026Updated 6 months ago
- ☆14Aug 18, 2025Updated 11 months ago
- ☆20May 30, 2026Updated last month
- ☆17Aug 1, 2025Updated 11 months ago
- 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☆15Oct 24, 2025Updated 8 months ago
- ☆15Oct 4, 2024Updated last year
- 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.
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Sep 7, 2025Updated 10 months ago
- Environment to train and compare irrigation scheduling strategies with AquaCrop-OSPy☆16Jun 6, 2022Updated 4 years ago
- ☆21Apr 3, 2026Updated 3 months ago
- An experimental communicating attention kernel based on DeepEP.☆34Jul 29, 2025Updated 11 months ago
- ☆32Jul 2, 2025Updated last year
- Minimal PyTorch implementation of TP, SP, FSDP and sharded-EMA☆32Nov 27, 2025Updated 7 months ago
- Sample Codes using NVSHMEM on Multi-GPU☆30Jan 22, 2023Updated 3 years ago
- A structurally comprehensive dataset of AMR-to-text alignments for coverage of a larger variety of linguistic phenomena, for research rel…☆16Dec 10, 2022Updated 3 years ago
- Fork of Flame repo for training of some new stuff in development☆20Updated this 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.
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆19Jan 17, 2026Updated 6 months ago
- This repository contains my coursework and labs while studying for my 3-year Computer Science degree at the University of Southampton.☆10May 22, 2024Updated 2 years ago
- [ICML 2024] AutoOS: Make Your OS More Powerful by Exploiting Large Language Models☆14Dec 10, 2025Updated 7 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- 一个简单的QT文件传输系统☆17Jun 1, 2020Updated 6 years ago
- ☆60Feb 24, 2026Updated 4 months ago
- Some funny cute/cuteDSL code snippets☆33Mar 2, 2026Updated 4 months ago
- Connecting bv_decide to SMTLIB.☆15Updated this week
- ☆13Dec 9, 2024Updated last year
- 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.
- Driver tieing together compiler and AI models to achieve better code optimizations.☆19May 3, 2026Updated 2 months ago
- official impelmentation of Kangaroo: A Powerful Video-Language Model Supporting Long-context Video Input☆67Aug 30, 2024Updated last year
- Floating Point Semantics Mechanization for Lean☆22Jun 18, 2026Updated last month
- MUFFIN: Curating Multi-Faceted Instructions for Improving Instruction-Following☆16Oct 31, 2024Updated last year
- Codes for ACL2023 paper: Knowledgeable Parameter Efficient Tuning Network for Commonsense Question Answering.☆11Sep 23, 2023Updated 2 years ago
- ☆13Jun 14, 2022Updated 4 years ago
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆16Oct 2, 2025Updated 9 months ago