Alternatives and similar repositories for itergen

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

• structuredllm / syncode
  Efficient and general syntactical decoding for Large Language Models
  ☆319Updated 2 weeks ago
• gonglinyuan / ast_t5
  ☆83Updated last year
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆79Updated 7 months ago
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆32Updated 2 years ago
• ise-uiuc / NablaFuzz
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆28Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆42Updated 8 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆50Updated last year
• evo-eval / evoeval
  EvoEval: Evolving Coding Benchmarks via LLM
  ☆81Updated last year
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆128Updated last year
• madaan / pie-perf
  Training language models to make programs faster
  ☆98Updated last year
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆69Updated 2 weeks ago
• FSoft-AI4Code / RepoHyper
  [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository
  ☆71Updated last year
• Intelligent-CAT-Lab / CodeMind
  CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…
  ☆42Updated 2 months ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Updated last year
• uiuc-focal-lab / LLMCert-B
  A certifier for bias in LLMs
  ☆25Updated 9 months ago
• amazon-science / mxeval
  ☆112Updated last year
• codetlingua / codetlingua
  ☆18Updated last year
• microsoft / monitors4codegen
  Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…
  ☆278Updated last year
• epfl-dlab / transformers-CFG
  🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers
  ☆132Updated 3 weeks ago
• terryyz / ice-score
  [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code
  ☆80Updated last year
• shrivastavadisha / repo_level_prompt_generation
  ☆126Updated 2 years ago
• lt-asset / REPOCOD
  For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…
  ☆25Updated 5 months ago
• SalesforceAIResearch / CodeChain
  Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"
  ☆49Updated 2 months ago
• gitbugactions / gitbugactions
  ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️
  ☆23Updated this week
• microsoft / codamosa
  ☆154Updated 8 months ago
• dpfried / incoder
  Generative model for code infilling and synthesis
  ☆313Updated 2 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆75Updated last year