Alternatives and similar repositories for pie

Users that are interested in pie are comparing it to the libraries listed below

• madaan / pie-perf
  Training language models to make programs faster
  ☆97Updated last year
• gso-bench / gso
  [NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
  ☆62Updated 2 weeks ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 3 years ago
• reddy-lab-code-research / PPOCoder
  Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"
  ☆118Updated 2 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆25Updated 8 months ago
• thunlp / TritonBench
  TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators
  ☆114Updated 7 months ago
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆52Updated last year
• facebookresearch / cruxeval
  CRUXEval: Code Reasoning, Understanding, and Execution Evaluation
  ☆164Updated last year
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago
• r2e-project / r2e
  [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment
  ☆139Updated 9 months ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆99Updated 8 months ago
• ise-uiuc / nnsmith
  Automated DNN generation for fuzz testing and more
  ☆142Updated last year
• ise-uiuc / xft
  XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
  ☆35Updated last year
• RulinShao / FastCkpt
  Python package for rematerialization-aware gradient checkpointing
  ☆27Updated 2 years ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆20Updated 3 months ago
• amazon-science / cceval
  CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion (NeurIPS 2023)
  ☆169Updated 5 months ago
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆55Updated last year
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆128Updated last year
• evo-eval / evoeval
  EvoEval: Evolving Coding Benchmarks via LLM
  ☆81Updated last year
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated 2 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• amazon-science / mxeval
  ☆112Updated last year
• gonglinyuan / ast_t5
  ☆83Updated last year
• icsnju / VeriXmith
  A tool for cross-checking Verilog compilers
  ☆14Updated 9 months ago
• HPC-Fortran2CPP / OpenMP-Fortran-CPP-Translation
  This repo contains the dataset for paper: Creating a Dataset Supporting Translation Between OpenMP Fortran and C++ Code
  ☆15Updated 2 years ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Updated last year
• ARiSE-Lab / SemCoder
  [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
  ☆26Updated last year
• R2E-Gym / R2E-Gym
  [COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents
  ☆229Updated 6 months ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• akothen / Hydride
  A retargetable and extensible synthesis-based compiler for modern hardware architectures
  ☆17Updated 2 months ago