pypi.org "program-synthesis" keyword
View the packages on the pypi.org package registry that are tagged with the "program-synthesis" keyword.
multilspy 0.0.15
A language-agnostic LSP client in Python, with a library interface. Intended to be used to build ...10 versions - Latest release: 6 months ago - 23.2 thousand downloads last month - 452 stars on GitHub - 1 maintainer
autogoal 1.0.3
Automatic Generation Optimization And Learning17 versions - Latest release: over 1 year ago - 11 dependent packages - 1 dependent repositories - 399 downloads last month - 212 stars on GitHub - 1 maintainer
popper-ilp 1.1.0
Popper1 version - Latest release: almost 4 years ago - 1 dependent repositories - 47 downloads last month - 236 stars on GitHub - 1 maintainer
Top 7.6% on pypi.org
55 versions - Latest release: about 1 year ago - 4 dependent repositories - 1.93 thousand downloads last month - 193 stars on GitHub - 1 maintainer
asts 0.9.10
A library for programmatic software modification55 versions - Latest release: about 1 year ago - 4 dependent repositories - 1.93 thousand downloads last month - 193 stars on GitHub - 1 maintainer
Top 7.1% on pypi.org
12 versions - Latest release: 12 months ago - 1 dependent package - 4 dependent repositories - 6.63 thousand downloads last month - 1,575 stars on GitHub - 1 maintainer
evalplus 0.3.1
"EvalPlus for rigourous evaluation of LLM-synthesized code"12 versions - Latest release: 12 months ago - 1 dependent package - 4 dependent repositories - 6.63 thousand downloads last month - 1,575 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 6 years ago - 4 dependent repositories - 122 downloads last month - 6 stars on GitHub - 1 maintainer
psynlp 1.0.4
A python module with Program Synthesis techniques for NLP5 versions - Latest release: over 7 years ago - 1 dependent repositories - 25 downloads last month - 10 stars on GitHub - 1 maintainer
bigcodebench 0.2.5
"Evaluation package for BigCodeBench"42 versions - Latest release: 6 months ago - 505 downloads last month - 416 stars on GitHub - 1 maintainer
evoeval 0.1.0
"EvoEval: Evolving Coding Benchmarks via LLM"2 versions - Latest release: over 1 year ago - 58 downloads last month - 53 stars on GitHub - 2 maintainers
geneticengine 0.9.0
Genetic Programming with Types and Grammars52 versions - Latest release: 10 months ago - 1 dependent repositories - 468 downloads last month - 48 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 7 years ago - 1 dependent repositories - 9 downloads last month - 145 stars on GitHub - 1 maintainer
arcle 0.2.6
An ARC Learning Environment built on Gymnasium13 versions - Latest release: over 1 year ago - 196 downloads last month - 68 stars on GitHub - 1 maintainer
Related Keywords
large-language-models
4
gpt-4
3
chatgpt
3
llm
3
benchmark
3
machine-learning
2
claude-3
2
code-generation
2
testing
2
reinforcement-learning-environments
1
formal-concept-analysis
1
finite-state-transducers
1
concept-learning
1
pac-basis
1
regex-learning
1
concept-lattice
1
ostia
1
oracle-learning
1
transducer
1
nlp
1
competitive-programming
1
codeforces
1
ai
1
psychometrics
1
intelligence-testing
1
research-project
1
deep-learning
1
grammar-guided-genetic-programming
1
genetic-programming
1
genetic programming
1
machine learning
1
program synthesis
1
gemini-pro
1
tool-use
1
instruction-following
1
gemini
1
function-calling
1
deepseek
1
agents
1
agent
1
ai4code
1
artificial-intelligence
1
code-analysis
1
code-completion
1
codegen
1
huggingface-transformers
1
language-server-client
1
language-server-protocol
1
large-language-model
1
lsp
1
lsp-client
1
neurips
1
neurips-2023
1
transformer
1
automl
1
framework
1
optimization
1
python3
1
inductive-logic-programming
1
program-induction
1
software-engineering
1
source
1
evolutionary-computation
1
source-code
1
efficiency
1
program
1
synthesis
1
competitive
1
programming
1
acm
1
icpc
1