PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Program Synthesis Python Packages

Python packages with the GitHub topic program-synthesis. Sorted by relevance, with stars and monthly downloads.
evalplus
evalplus

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

47K 2K 201
microsoft
multilspy

multilspy is a lsp client library in Python intended to be used to build applications around language servers.

33K 590 108
alcides
geneticengine

Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses

6K 51 11
bigcode-project
bigcodebench

[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI

5K 512 74
grammatech
asts

Programmatic modification and evaluation of software

1K 199 25
DT-Foss
o1op

Deterministic code synthesis operator — zero LLM in the loop. 8-color algebraic type system, 7-pass causal inference, 7-layer verification, 9-phase autonomous engagement. Substrate validated across 9 IEEE 2026 papers + IBM z/OS production assessment.

853 0 0
autogoal
autogoal

A Python framework for program synthesis with a focus on Automated Machine Learning.

785 215 66
demfier
psynlp

Python module with Program Synthesis Techniques for NLP

766 10 1
ConfeitoHS
arcle

A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)

647 72 9
leeroo-ai
leeroo-kapso

A Knowledge-grounded framework for Autonomous ML/AI Program Synthesis and Optimization

456 92 8
evo-eval
evoeval

"EvoEval: Evolving Coding Benchmarks via LLM"

184 84 13
mfornet
tcgen

Program synthesis tool. Read a list of strings and create a generator that sample strings from the same distribution as input strings. Focused on test cases of competitive programming problems.

133 6 0
nearai
program-synthesis

NEAR Program Synthesis: models, tools, and datasets for program synthesis tasks

124 150 26
logic-and-learning-lab
popper-ilp

An inductive logic programming system

1 287 51
    • Data from PyPI, GitHub, ClickHouse, and BigQuery