jordiae / neural-compilersLinks
☆19Updated 2 years ago
Alternatives and similar repositories for neural-compilers
Users that are interested in neural-compilers are comparing it to the libraries listed below
Sorting:
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆19Updated 2 weeks ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆47Updated 11 months ago
- ☆51Updated 10 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- A framework for testing compilers' type checkers☆17Updated 6 months ago
- ☆16Updated 3 years ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆24Updated 3 years ago
- ☆20Updated 3 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆99Updated last week
- ☆22Updated 5 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated this week
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆96Updated 2 weeks ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- A tool for testing SMT solvers for incompleteness bugs☆16Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- An awesome list of e-graph resources☆173Updated 2 weeks ago
- program synthesis is possible☆41Updated 5 years ago
- Website for CS 265☆28Updated 5 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Official repository for PraPR source code☆14Updated 4 years ago
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- Training language models to make programs faster☆89Updated last year
- 🔍 Code Search Tools & Experiments☆12Updated this week