pypi.org "program-synthesis" keyword
autogoal 1.0.3
Automatic Generation Optimization And Learning17 versions - Latest release: over 2 years ago - 11 dependent packages - 1 dependent repositories - 173 downloads last month - 215 stars on GitHub - 1 maintainer
leeroo-kapso 0.9.1
An engine that runs experiments, deploys the best solution and learns from every run: smart exper...48 versions - Latest release: about 10 hours ago - 1.62 thousand downloads last month - 138 stars on GitHub - 1 maintainer
evoeval 0.1.0
"EvoEval: Evolving Coding Benchmarks via LLM"2 versions - Latest release: over 2 years ago - 19 downloads last month - 84 stars on GitHub - 2 maintainers
Top 7.1% on pypi.org
12 versions - Latest release: about 2 years ago - 1 dependent package - 4 dependent repositories - 68.5 thousand downloads last month - 1,831 stars on GitHub - 1 maintainer
evalplus 0.3.1
"EvalPlus for rigourous evaluation of LLM-synthesized code"12 versions - Latest release: about 2 years ago - 1 dependent package - 4 dependent repositories - 68.5 thousand downloads last month - 1,831 stars on GitHub - 1 maintainer
evolution-kernel 1.1.2
A minimal autonomous evolution kernel with isolated planner, executor, evaluator roles.3 versions - Latest release: 6 months ago - 13 downloads last month - 126 stars on GitHub - 1 maintainer
popper-ilp 1.1.0
Popper1 version - Latest release: almost 5 years ago - 1 dependent repositories - 47 downloads last month - 328 stars on GitHub - 1 maintainer
psynlp 1.0.4
A python module with Program Synthesis techniques for NLP5 versions - Latest release: over 8 years ago - 1 dependent repositories - 17 downloads last month - 10 stars on GitHub - 1 maintainer
tcgen 0.1.2
Program synthesis tool. Read a list of strings and create a generator that sample strings from th...2 versions - Latest release: over 7 years ago - 4 dependent repositories - 99 downloads last month - 6 stars on GitHub - 1 maintainer
program-synthesis 0.1.2
NEAR Program Synthesis: models, tools, and datasets for program synthesis tasks1 version - Latest release: over 8 years ago - 1 dependent repositories - 96 downloads last month - 151 stars on GitHub - 1 maintainer
multilspy 0.1.1
A language-agnostic LSP client in Python, with a library interface. Intended to be used to build ...11 versions - Latest release: 28 days ago - 38.3 thousand downloads last month - 615 stars on GitHub - 1 maintainer
geneticengine 0.9.0
Genetic Programming with Types and Grammars53 versions - Latest release: almost 2 years ago - 1 dependent repositories - 2.08 thousand downloads last month - 52 stars on GitHub - 1 maintainer
Top 7.6% on pypi.org
55 versions - Latest release: about 2 years ago - 4 dependent repositories - 177 downloads last month - 203 stars on GitHub - 1 maintainer
asts 0.9.10
A library for programmatic software modification55 versions - Latest release: about 2 years ago - 4 dependent repositories - 177 downloads last month - 203 stars on GitHub - 1 maintainer
bigcodebench 0.2.5
"Evaluation package for BigCodeBench"42 versions - Latest release: over 1 year ago - 1.39 thousand downloads last month - 516 stars on GitHub - 1 maintainer
exform 0.10.0
Reshape text by example — deterministic, offline, no regex, no LLM.12 versions - Latest release: about 2 months ago - 892 downloads last month - 0 stars on GitHub - 1 maintainer
o1op 1.1.0
A deterministic code synthesis operator — composes working programs from natural-language intent ...2 versions - Latest release: 5 months ago - 15 downloads last month - 0 stars on GitHub - 1 maintainer
pyprior 0.0.2
A constructive prior over small Python programs using AST-driven constrained decoding2 versions - Latest release: 4 months ago - 46 downloads last month - 1 maintainer
astcd 0.1.0
AST-driven constrained decoding: generate random, always-valid Python programs1 version - Latest release: 5 months ago - 1 maintainer
kbound 0.2.0
Inductive rule recovery toolkit — give it K observations, get back the rule plus a sample-complex...2 versions - Latest release: 6 months ago - 19 downloads last month - 0 stars on GitHub - 1 maintainer
upir 0.1.0
Universal Plan Intermediate Representation - Formal verification, synthesis, and optimization for...1 version - Latest release: 12 months ago - 16 downloads last month - 0 stars on GitHub - 1 maintainer
optiverse 0.0.3 💰
An optimizer whose search space is code3 versions - Latest release: 3 months ago - 108 downloads last month - 6 stars on GitHub - 1 maintainer
arc-prize 0.1.0
ARC-AGI-2 solver using geometric embeddings and adversarial structure probing1 version - Latest release: 8 months ago - 21 downloads last month - 2 stars on GitHub - 1 maintainer
fastevolve 0.8.3
Minimal open-source AlphaEvolve: LLM-driven program evolution with MAP-Elites islands, cascade ev...22 versions - Latest release: 3 months ago - 167 downloads last month - 0 stars on GitHub - 1 maintainer
chimera-run 0.9.2
Build, compose, and deploy coding agents from modular primitives.9 versions - Latest release: 4 months ago - 3 stars on GitHub - 1 maintainer
arcle 0.2.6
An ARC Learning Environment built on Gymnasium13 versions - Latest release: over 2 years ago - 19 downloads last month - 73 stars on GitHub - 1 maintainer
Related Keywords
llm
7
code-generation
5
large-language-models
5
ai-agents
3
machine-learning
3
optimization
3
gpt-4
3
alphaevolve
3
benchmark
3
chatgpt
3
ast
2
testing
2
claude-3
2
autonomous-agents
2
knowledge-graph
2
cryptanalysis
2
formal-verification
2
constrained-decoding
2
fuzzing
2
grammar
2
property-based-testing
2
synthesis
2
python
2
agents
2
coding-agents
2
harness
2
genetic-programming
2
evolutionary-algorithms
2
llm-agents
2
coding-agent
2
automl
2
instruction-following
1
deployment
1
continual-learning
1
ale-bench
1
gemini
1
ioai
1
mle-bench
1
function-calling
1
relbench
1
induction
1
rule-recovery
1
symbolic
1
neuro-symbolic
1
in-context-learning
1
arc-agi
1
framework
1
finite-state-transducers
1
formal-concept-analysis
1
inductive-logic-programming
1
program-induction
1
deep-learning
1
research-project
1
distributed-systems
1
smt
1
cegis
1
reinforcement-learning
1
architecture
1
intelligence-testing
1
psychometrics
1
reinforcement-learning-environments
1
experimentation
1
tool-use
1
autoresearch
1
abstract-reasoning
1
source-code
1
geometric-embeddings
1
adversarial-probing
1
embeddings
1
evolutionary-computation
1
hyperbolic-geometry
1
source
1
reasoning
1
evolutionary-search
1
software-engineering
1
map-elites
1
ollama
1
program synthesis
1
machine learning
1
genetic programming
1
grammar-guided-genetic-programming
1
k-shot
1
ai-agent
1
audit
1
prng
1
deepseek
1
agent
1
competitive-programming
1
codeforces
1
icpc
1
acm
1
efficiency
1
programming
1
competitive
1
program
1
agent-framework
1
agentic-coding
1
llm-tools
1
swe-bench
1
neurips-2023
1