program-synthesis
There are 31 repositories under program-synthesis topic.
- Language:JavaScript 2196
primaryobjects / AI-Programmer
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
Language:C# 1075microsoft / PythonProgrammingPuzzles
A Dataset of Python Challenges for AI Research
Language:Python 951- Language:Python 920
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
Language:C# 611Inventitech / strans
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
Language:Roff 547ravichugh / sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
Language:Elm 547- Language:Python 396
- Language:Python 376
crazydonkey200 / neural-symbolic-machines
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
Language:Python 375- Language:Python 362
- Language:Emacs Lisp 362
- Language:Python 210
- autogoal
autogoal / autogoal
A Python framework for program synthesis with a focus on Automated Machine Learning.
Language:Python 207 - Language:Prolog 198
logic-and-learning-lab / Popper
An inductive logic programming system
Language:Python 175GrammaTech / sel
Programmatic modification and evaluation of software
Language:Common Lisp 162Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.
Language:Python 154nearai / program_synthesis
Program Synthesis
Language:Jupyter Notebook 142ise-uiuc / Repilot
Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"
Language:Python 125- Language:Scala 121
- Language:Python 114
HiroakiMikami / deep-coder
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
Language:Python 107- Language:Python 106
shaohua0116 / demo2program
An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim
Language:Python 101- Language:Ruby 95
- Language:Ruby 92
google-research / plur
PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. We provide scripts for downloading, processing, and loading the datasets. This is done by offering a unified API and data structures for all datasets.
Language:Python 88pauljblazek / deepdistilling
Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform human-designed algorithms
Language:Python 71praveenkulkarni1996 / awesome-program-synthesis
An curated list of papers on program synthesis.
- Language:OCaml 65
- Language:JavaScript 64
TyGuS / hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Language:Haskell 60nerdimite / neuro-symbolic-ai-soc
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Language:Jupyter Notebook 52volotat / GAS
Generative Art Synthesizer - a python program that generates python programs that generates generative art
Language:Python 52aixcoder-plugin / nl2code-dataset
Aix-bench, the Java benchmark for code synthesis problem.
Language:Java 51
