Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Program Synthesis Open Source Projects

Open source projects categorized as Program Synthesis
Categories > Program Synthesis
Arc ⭐ 2,078
The Abstraction and Reasoning Corpus
most recent commit 2 years ago
Ai Programmer ⭐ 1,073
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
most recent commit a year ago
Pythonprogrammingpuzzles ⭐ 919
A Dataset of Python Challenges for AI Research
most recent commit 6 months ago
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.
dependent packages 23total releases 79most recent commit 5 months agonuget Microsoft.ProgramSynthesis.Common} Downloads
Evalplus ⭐ 605
EvalPlus for rigourous evaluation of LLM-synthesized code
total releases 8most recent commit 4 months ago
Strans ⭐ 521
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
most recent commit 4 years ago
Sketch N Sketch ⭐ 467
Direct Manipulation Programming for HTML/SVG
dependent packages 3total releases 101most recent commit 4 years agonpm sketch-n-sketch} Downloads
Rat Sql ⭐ 390
A relation-aware semantic parsing model from English to SQL
most recent commit 9 months ago
Suggest.el ⭐ 346
discover elisp functions that do what you want
most recent commit 8 months ago
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.
most recent commit 2 years ago
Parsel ⭐ 319
Code for Parsel 🐍 - generate complex programs with language models
most recent commit 8 months ago
Apps ⭐ 212
APPS: Automated Programming Progress Standard (NeurIPS 2021)
most recent commit 2 years ago
Cozy ⭐ 210
The collection synthesizer
most recent commit 4 years ago
Autogoal ⭐ 203
A Python framework for program synthesis with a focus on Automated Machine Learning.
total releases 14most recent commit 4 months ago
Metagol ⭐ 165
Metagol - an inductive logic programming system
most recent commit 3 years ago
Popper ⭐ 160
Popper is an inductive logic programming (ILP) system.
total releases 1most recent commit 5 months ago
Sel ⭐ 159
Programmatic modification and evaluation of software
total releases 53most recent commit 4 months ago
Spiral Tensorflow ⭐ 113
in progress
most recent commit 5 years ago
Program_synthesis ⭐ 112
Program Synthesis
total releases 1most recent commit 3 years ago
Suslik ⭐ 103
Synthesis of Heap-Manipulating Programs from Separation Logic
most recent commit 2 years ago
Deepcoder ⭐ 99
Deepcoder paper implementation
most recent commit a year ago
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"
most recent commit 7 months ago
Rbsyn ⭐ 93
Program synthesis for Ruby
most recent commit 7 months ago
The 3 Most Depended On Program Synthesis Open Source Projects
Sketch N Sketch ⭐ 467
Direct Manipulation Programming for HTML/SVG
dependent packages 3total releases 101latest release June 20, 2021most recent commit 4 years agonpm sketch-n-sketch} Downloads
Generator Prose ⭐ 6
Yeoman generator for PRogram Synthesis by Examples DSL projects.
dependent packages 2total releases 3latest release May 03, 2017most recent commit 3 years agonpm generator-prose} Downloads
The 10 Latest Releases In Program Synthesis Open Source Projects
Evalplus ⭐ 605
EvalPlus for rigourous evaluation of LLM-synthesized code
total releases 8latest release November 24, 2023most recent commit 4 months ago
Autogoal ⭐ 203
A Python framework for program synthesis with a focus on Automated Machine Learning.
total releases 14latest release November 08, 2023most recent commit 4 months ago
Sel ⭐ 159
Programmatic modification and evaluation of software
total releases 53latest release April 11, 2023most recent commit 4 months ago
Ape ⭐ 16
APE (Automated Pipeline Explorer)
total releases 11latest release June 02, 2022most recent commit 5 months ago
Popper ⭐ 160
Popper is an inductive logic programming (ILP) system.
total releases 1latest release December 22, 2021most recent commit 5 months ago
Sketch N Sketch ⭐ 467
Direct Manipulation Programming for HTML/SVG
dependent packages 3total releases 101latest release June 20, 2021most recent commit 4 years agonpm sketch-n-sketch} Downloads
Program_synthesis ⭐ 112
Program Synthesis
total releases 1latest release June 09, 2018most recent commit 3 years ago
Generator Prose ⭐ 6
Yeoman generator for PRogram Synthesis by Examples DSL projects.
dependent packages 2total releases 3latest release May 03, 2017most recent commit 3 years agonpm generator-prose} Downloads
Evoasm.rb ⭐ 90
An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
total releases 6latest release April 05, 2016most recent commit 5 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.