Alternatives and similar repositories for InverseCoder

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

• Veri-Code / ReForm
  ☆39Updated 6 months ago
• wilyub / VeriThoughts
  The first large scale formally verified reasoning dataset for Verilog
  ☆19Updated 8 months ago
• thunlp / DebugBench
  The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".
  ☆85Updated last year
• ganler / code-r1
  Reproducing R1 for Code with Reliable Rewards
  ☆285Updated 9 months ago
• juyongjiang / CodeLLMSurvey
  [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".
  ☆183Updated 6 months ago
• allanj / repo-level-codegen-papers
  Repo-Level Code generation papers
  ☆232Updated last month
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆57Updated last year
• YerbaPage / Awesome-Repo-Level-Code-Generation
  Must-read papers on Repository-level Code Generation & Issue Resolution 🔥
  ☆245Updated last month
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆67Updated last year
• bytedance / FullStackBench
  Official repository for our paper "FullStack Bench: Evaluating LLMs as Full Stack Coders"
  ☆111Updated 9 months ago
• k4black / codebleu
  Pip compatible CodeBLEU metric implementation available for linux/macos/win
  ☆129Updated 10 months ago
• FudanSELab / ClassEval
  Benchmark ClassEval for class-level code generation.
  ☆145Updated last year
• seketeam / EvoCodeBench
  An Evolving Code Generation Benchmark Aligned with Real-world Code Repositories
  ☆67Updated last year
• seketeam / DevEval
  A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories
  ☆36Updated last year
• CUHK-Shenzhen-SE / D4C
  [ICSE'25] Aligning the Objective of LLM-based Program Repair
  ☆23Updated 10 months ago
• rookie-joe / FormalAlign
  ☆17Updated 6 months ago
• facebookresearch / cruxeval
  CRUXEval: Code Reasoning, Understanding, and Execution Evaluation
  ☆164Updated last year
• open-compass / DevEval
  A Comprehensive Benchmark for Software Development.
  ☆127Updated last year
• amazon-science / cceval
  CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion (NeurIPS 2023)
  ☆170Updated 5 months ago
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆13Updated last year
• RUCAIBox / ICPC-Eval
  A new benchmark of 118 ICPC problems for evaluating LLM reasoning in competitive coding, featuring realistic ICPC competition scenario, r…
  ☆16Updated 8 months ago
• richardodliu / OpenCodeEval
  ☆50Updated 5 months ago
• xyliu-cs / RISE
  [NeurIPS'25] Official Implementation of RISE (Reinforcing Reasoning with Self-Verification)
  ☆31Updated 5 months ago
• tongye98 / Awesome-Code-Benchmark
  A comprehensive code domain benchmark review of LLM researches.
  ☆194Updated 4 months ago
• tongyx361 / symeval
  Evaluation utilities based on SymPy.
  ☆21Updated last year
• MCEVAL / McEval
  ☆45Updated last year
• multimodal-art-projection / KORGym
  ☆55Updated 8 months ago
• cometeme / funcoder
  Implementation for NeurIPS 2024 oral paper: Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation
  ☆16Updated last year
• CoderEval / CoderEval
  A collection of practical code generation tasks and tests in open source projects. Complementary to HumanEval by OpenAI.
  ☆154Updated last year
• GAIR-NLP / ToRL
  ☆333Updated 8 months ago