☆27Mar 29, 2025Updated 11 months ago
Alternatives and similar repositories for ml-llvm-project
Users that are interested in ml-llvm-project are comparing it to the libraries listed below
Sorting:
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 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
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"☆22Jun 17, 2025Updated 8 months ago
- ☆15Feb 27, 2019Updated 7 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- ☆20May 30, 2024Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Nov 13, 2024Updated last year
- ☆20Apr 8, 2025Updated 10 months ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 8 months ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- Memory consistency modelling using Alloy☆31Dec 16, 2020Updated 5 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆101Feb 11, 2026Updated 2 weeks ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆78Aug 5, 2025Updated 6 months ago
- Codebase for fine-tuning Llama2 70B to generate math test questions and answers.☆11Aug 30, 2024Updated last year
- Awesome Triton Resources☆39Apr 27, 2025Updated 10 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- A CUDA compiler fuzzer☆30Oct 12, 2023Updated 2 years ago
- Repo for paper "CODIS: Benchmarking Context-Dependent Visual Comprehension for Multimodal Large Language Models".☆12Oct 14, 2024Updated last year
- ☆14Aug 20, 2025Updated 6 months ago
- Simplified PxGrid, RADIUS and TACACS toolkit☆12Aug 25, 2025Updated 6 months ago
- ☆11Dec 23, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Concurrency library☆17Oct 13, 2024Updated last year
- ☆44May 6, 2025Updated 9 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- HeteroCL-MLIR dialect for accelerator design☆42Sep 18, 2024Updated last year
- ☆44Jan 15, 2026Updated last month
- ☆25Nov 12, 2025Updated 3 months ago
- Original VinVL visual backbone with simplified APIs to easily extract features, boxes, object detections, in a few lines of Python code.☆11Nov 27, 2022Updated 3 years ago
- A Grand Sumo prediction game☆10Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Python Inference Script(PyIS)☆19Aug 30, 2022Updated 3 years ago
- CANdle - a library for using USB-FDCAN dongle and communicating with md80 drives☆15Sep 15, 2025Updated 5 months ago
- The Coherence Python Client allows Python applications to act as cache clients to an Oracle Coherence cluster using gRPC as the network t…☆12Dec 1, 2025Updated 3 months ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆13Feb 21, 2025Updated last year