Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for program synthesis
program-synthesis
x
85 search results found
Arc
⭐
2,078
The Abstraction and Reasoning Corpus
Ai Programmer
⭐
1,073
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
Pythonprogrammingpuzzles
⭐
919
A Dataset of Python Challenges for AI Research
Prose
⭐
606
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.
Evalplus
⭐
605
EvalPlus for rigourous evaluation of LLM-synthesized code
Strans
⭐
521
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
Sketch N Sketch
⭐
467
Direct Manipulation Programming for HTML/SVG
Rat Sql
⭐
390
A relation-aware semantic parsing model from English to SQL
Suggest.el
⭐
346
discover elisp functions that do what you want
Neural Symbolic Machines
⭐
346
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
Parsel
⭐
319
Code for Parsel 🐍 - generate complex programs with language models
Apps
⭐
212
APPS: Automated Programming Progress Standard (NeurIPS 2021)
Cozy
⭐
210
The collection synthesizer
Autogoal
⭐
203
A Python framework for program synthesis with a focus on Automated Machine Learning.
Metagol
⭐
165
Metagol - an inductive logic programming system
Popper
⭐
160
Popper is an inductive logic programming (ILP) system.
Sel
⭐
159
Programmatic modification and evaluation of software
Spiral Tensorflow
⭐
113
in progress
Program_synthesis
⭐
112
Program Synthesis
Suslik
⭐
103
Synthesis of Heap-Manipulating Programs from Separation Logic
Deepcoder
⭐
99
Deepcoder paper implementation
Repilot
⭐
94
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"
Rbsyn
⭐
93
Program synthesis for Ruby
Evoasm.rb
⭐
90
An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
Demo2program
⭐
80
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
Deep Coder
⭐
80
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
Program Synthesis Rl Tensorflow
⭐
64
in progress
Neuralkanren
⭐
60
Neural Guided Constraint Logic Programming for Program Synthesis
Formalml
⭐
60
Formalization of Machine Learning Theory with Applications to Program Synthesis
Monitors4codegen
⭐
60
Code 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.
L2
⭐
59
λ² is a tool for synthesizing functional programs from input-output examples.
Plur
⭐
49
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.
Hoogle_plus
⭐
49
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Awesome Neural Programming
⭐
48
A curated list of awesome neural programming resources
Arc Game
⭐
38
The Abstraction and Reasoning Corpus made into a web game
Pccoder
⭐
33
Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"
Houdini
⭐
30
HOUDINI: Lifelong Learning as Program Synthesis
Neural_inverse_knitting
⭐
27
Code for Neural Inverse Knitting: From Images to Manufacturing Instructions
Rulesynthesis
⭐
26
Code for "Learning Compositional Rules via Neural Program Synthesis"
Awesome Program Synthesis
⭐
25
An curated list of papers on program synthesis.
Nl2code Dataset
⭐
24
Aix-bench, the Java benchmark for code synthesis problem.
Icfp2017 Artifact Auas7pp
⭐
23
ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
Atlas
⭐
20
A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)
Trinity
⭐
20
Dexter
⭐
19
a compiler for re-writing image processing functions in C++ to Halide
Gas
⭐
19
Generative Art Synthesizer - a python program that generates python programs that generates generative art
Accsynt
⭐
17
Program synthesis tools and utilities for LLVM.
Psprose
⭐
16
PowerShell module for the Microsoft Program Synthesis SDK https://github.com/Microsoft/prose
Gandrl_for_nps
⭐
16
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
Ape
⭐
16
APE (Automated Pipeline Explorer)
Neuro Symbolic Ai Soc
⭐
16
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Minisynth
⭐
16
program synthesis is possible
F1x
⭐
15
Efficient patch generation engine for C/C++ programs
Lakeroad
⭐
14
FPGA synthesis tool powered by program synthesis
Intention To Code Lstm
⭐
13
Source Code Generation Based On User Intention Using LSTM Networks
Mlprogram
⭐
12
PyTorch library for synthesizing programs from natural language
Castor
⭐
12
Deductive synthesis and compilation of specialized databases.
Autopandas
⭐
11
OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
Synth
⭐
11
Program synthesis
Rev Erlang
⭐
11
An implementation of the reversible semantics for Erlang.
R2syntia
⭐
11
Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
Pi Prl
⭐
10
ICLR'22 Programmatic Reinforcement Learning
Swim
⭐
10
Synthesis with Metaheuristics - Genetic Programming in Scala
Program Synthesis Benchmark Datasets
⭐
9
Repository of datasets for the General Program Synthesis Benchmark Suite
Smyth
⭐
9
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
Ec
⭐
9
Learning programs with the Exploration-Compression algorithm
Shin Barliman
⭐
8
Research project: Program synthesis using updated interface, template and types.
Z3_codegen
⭐
8
A toy code generator (i.e. "program synthesis") using the Z3 solver
Mgn
⭐
7
MGN: Code repo, examples from the paper
Ssl Htt
⭐
7
Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.
Prose Tutorial
⭐
7
Tutorial on program synthesis using Prose
Typescript.ts
⭐
7
a DSL (domain specific language) for generating TypeScript projects
Bustle
⭐
7
Bustle: Botton-up Program Synthesis Through Learning-Guided Exploration
Syn Interventions Algorithmic Recourse
⭐
7
Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis.
Generator Prose
⭐
6
Yeoman generator for PRogram Synthesis by Examples DSL projects.
Escher Scala
⭐
6
Recursive Program Synthesis using input-output examples
Chipmunk
⭐
6
A code generator for packet-processing pipelines based on end-to-end program synthesis
Arcle
⭐
5
A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
Neurips2020
⭐
5
Tortoise
⭐
5
Tortoise: Interactive System Configuration Repair
Program Synthesis Hackathon
⭐
5
Flashfill
⭐
5
A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.
Usher
⭐
5
Recurisive program synthesis.
Systems Lunch
⭐
5
UMass CS Systems Lunch, organized by Emery Berger
Sasquatch
⭐
5
1-85 of 85 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.