Alternatives and similar repositories for ANPL

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

• aorwall / moatless-testbeds
  Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…
  ☆14Updated 7 months ago
• agiresearch / Formal-LLM
  Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
  ☆131Updated last year
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆43Updated 2 years ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• Ablustrund / APPS_Plus
  StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
  ☆73Updated last year
• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆27Updated 2 years ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆46Updated 3 months ago
• LLM360 / crystalcoder-data-prep
  Data preparation code for CrystalCoder 7B LLM
  ☆45Updated last year
• SalesforceAIResearch / CodeTree
  Code for the paper: CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models
  ☆29Updated 7 months ago
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)
  ☆72Updated last year
• nyu-mll / ILF-for-code-generation
  ☆80Updated 7 months ago
• esteng / regal_program_learning
  ☆25Updated last year
• YerbaPage / MGDebugger
  Multi-Granularity LLM Debugger [ICSE2026]
  ☆93Updated 4 months ago
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆88Updated last year
• shunzh / Code-AI-Tree-Search
  ☆120Updated last year
• facebookresearch / cruxeval
  CRUXEval: Code Reasoning, Understanding, and Execution Evaluation
  ☆157Updated last year
• zhangir-azerbayev / proof-pile
  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
  ☆21Updated 2 years ago
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆41Updated last year
• LLM360 / crystalcoder-train
  Pre-training code for CrystalCoder 7B LLM
  ☆55Updated last year
• schauppi / Self-Rewarding-Language-Models
  ☆48Updated last year
• OSU-NLP-Group / reversal-curse-binding
  ☆24Updated 7 months ago
• TRI-ML / linear_open_lm
  A repository for research on medium sized language models.
  ☆78Updated last year
• LLM360 / Analysis360
  Open Implementations of LLM Analyses
  ☆107Updated last year
• jina-ai / textbook
  distill chatGPT coding ability into small model (1b)
  ☆30Updated 2 years ago
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆151Updated 9 months ago
• SalesforceAIResearch / swecomm
  ☆28Updated last week
• thomasgauthier / LLM-self-play
  Minimal implementation of the Self-Play Fine-Tuning Converts Weak Language Models to Strong Language Models paper (ArXiv 20232401.01335)
  ☆29Updated last year
• ctlllll / understanding_llm_benchmarks
  Understanding the correlation between different LLM benchmarks
  ☆29Updated last year
• gonglinyuan / ast_t5
  ☆75Updated last year
• benpry / why-think-step-by-step
  Code and data for the paper "Why think step by step? Reasoning emerges from the locality of experience"
  ☆62Updated 7 months ago