☆27Mar 29, 2025Updated last year
Alternatives and similar repositories for ml-llvm-project
Users that are interested in ml-llvm-project are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated last year
- PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆20Jan 26, 2016Updated 10 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆34Feb 18, 2023Updated 3 years ago
- Implementation of VexIR2Vec. Scalable Program Embeddings for Binary Codes.☆18May 7, 2026Updated 5 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆105Feb 11, 2026Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆37Dec 12, 2021Updated 4 years ago
- ☆19May 7, 2026Updated 5 months ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning☆37Jul 14, 2025Updated last year
- A benchmark game for guessing the hottest point of a program☆17Feb 24, 2026Updated 8 months ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- ☆16Mar 17, 2026Updated 7 months ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This repository contains the figures, tables and source code in the ICS'24 paper: "Accelerated Auto-Tuning of GPU Kernels for Tensor Comp…☆10Dec 5, 2024Updated last year
- 基于Flink+ClickHouse构建亿级电商实时数据分析平台（PC、移动、小程序）☆10Nov 1, 2020Updated 5 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- ☆13Updated this week
- ☆10Oct 11, 2022Updated 4 years ago
- Examine x86-64 machine code to find suboptimal encodings and sequences of instructions☆17Sep 27, 2026Updated last month
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated 2 years ago
- ☆13Feb 12, 2026Updated 8 months ago
- Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.☆804Oct 22, 2026Updated last week
- 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.
- [SIGKDD' 24] PyTorch implementation of Temporal Prototype-Aware Learning for Active Voltage Control on Power Distribution Networks☆15Jul 28, 2024Updated 2 years ago
- ☆13Mar 6, 2023Updated 3 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆42Jul 22, 2022Updated 4 years ago
- An LLVM IR dataset for data-driven compiler optimization research☆17Updated this week
- Updated C version of the Test Suite for Vectorising Compilers☆77Oct 14, 2026Updated 2 weeks ago
- Memory consistency modelling using Alloy☆32Dec 16, 2020Updated 5 years ago
- [NeurIPS 2022] ASPiRe: Adaptive Skill Priors for Reinforcement Learning☆13Oct 19, 2022Updated 4 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Syntax highlighting for Alda - a music programming language.☆14Sep 5, 2021Updated 5 years ago
- Natural language processing projects in action.☆11Apr 29, 2025Updated last year
- Notes of Computer Organization and Architecture @ Software Institute, Nanjing University☆10Jan 26, 2021Updated 5 years ago
- High level model for MongoDB consistency☆15Oct 16, 2025Updated last year
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- PipeWeave: Synergizing Analytical and Learning Models for Unified GPU Performance Prediction☆23Sep 2, 2026Updated last month
- ☆17Apr 15, 2025Updated last year