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
  ☆95Updated last year
• reddy-lab-code-research / PPOCoder
  Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"
  ☆117Updated last year
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• ise-uiuc / xft
  XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
  ☆35Updated last year
• r2e-project / r2e
  [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment
  ☆134Updated 7 months ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆16Updated 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
• facebookresearch / cruxeval
  CRUXEval: Code Reasoning, Understanding, and Execution Evaluation
  ☆157Updated last year
• thunlp / TritonBench
  TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators
  ☆95Updated 5 months ago
• ise-uiuc / nnsmith
  Automatic DNN generation for fuzzing and more
  ☆140Updated 10 months ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 6 months ago
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆123Updated last year
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆50Updated last year
• amazon-science / cceval
  CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion (NeurIPS 2023)
  ☆162Updated 3 months ago
• SalesforceAIResearch / CodeChain
  Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"
  ☆48Updated last week
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆50Updated 3 years ago
• gonglinyuan / ast_t5
  ☆75Updated last year
• RulinShao / FastCkpt
  Python package for rematerialization-aware gradient checkpointing
  ☆26Updated 2 years ago
• gso-bench / gso
  [NeurIPS '25] Challenging Software Optimization Tasks for Evaluating SWE-Agents
  ☆56Updated 2 weeks ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Updated 2 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• evo-eval / evoeval
  EvoEval: Evolving Coding Benchmarks via LLM
  ☆80Updated last year
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆49Updated 11 months ago
• wilyub / VeriThoughts
  The first large scale formally verified reasoning dataset for Verilog
  ☆15Updated 6 months ago
• Intelligent-CAT-Lab / PLTranslationEmpirical
  Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…
  ☆51Updated 7 months ago
• SparksofAGI / MHPP
  ☆33Updated 2 months ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆25Updated 5 months ago
• nuprl / MultiPL-E
  A multi-programming language benchmark for LLMs
  ☆281Updated this week
• floatai / HumanEval-XL
  [LREC-COLING'24] HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
  ☆38Updated 8 months ago
• ise-uiuc / blazedit
  Making code edting up to 7.7x faster using multi-layer speculation
  ☆24Updated 9 months ago