Projects in Awesome Lists tagged with program-synthesis

https://github.com/fchollet/ARC-AGI

The Abstraction and Reasoning Corpus

artificial-intelligence intelligence-testing program-synthesis psychometrics

Last synced: 11 Apr 2025

https://github.com/fchollet/arc-agi

The Abstraction and Reasoning Corpus

artificial-intelligence intelligence-testing program-synthesis psychometrics

Last synced: 14 May 2025

https://github.com/evalplus/evalplus

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

benchmark chatgpt efficiency gpt-4 large-language-models program-synthesis testing

Last synced: 12 Jan 2026

https://github.com/primaryobjects/ai-programmer

Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149

ai artificial-intelligence c-sharp fitness-score genetic-algorithm genetic-algorithms genetic-programming genome program-synthesis programming-language

Last synced: 16 May 2025

https://github.com/microsoft/PythonProgrammingPuzzles

A Dataset of Python Challenges for AI Research

ai program-synthesis programming-competitions puzzles

Last synced: 23 Apr 2025

https://github.com/microsoft/pythonprogrammingpuzzles

A Dataset of Python Challenges for AI Research

ai program-synthesis programming-competitions puzzles

Last synced: 12 Apr 2025

https://github.com/microsoft/prose

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.

csharp data-transformation data-wrangling dotnet examples microsoft program-synthesis prose sdk synthesis

Last synced: 13 May 2025

https://github.com/ravichugh/sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

direct-manipulation elm html live-programming program-synthesis structured-editing svg

Last synced: 16 May 2025

https://github.com/Inventitech/strans

Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.

program-synthesis sed shell unix-cli unix-command

Last synced: 03 Apr 2025

https://github.com/hendrycks/apps

APPS: Automated Programming Progress Standard (NeurIPS 2021)

code-generation program-synthesis

Last synced: 05 Apr 2025

https://github.com/microsoft/rat-sql

A relation-aware semantic parsing model from English to SQL

dbqa nl2sql nlp program-synthesis question-answering semantic-parsing transformers

Last synced: 05 Apr 2025

https://github.com/Microsoft/rat-sql

A relation-aware semantic parsing model from English to SQL

dbqa nl2sql nlp program-synthesis question-answering semantic-parsing transformers

Last synced: 07 Aug 2025

https://github.com/ezelikman/parsel

Code for Parsel 🐍 - generate complex programs with language models

ai lean machine-learning ml program-synthesis python robotics

Last synced: 04 Apr 2025

https://github.com/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.

deep-learning deep-reinforcement-learning program-synthesis reinforcement-learning rnn semantic-parsing tensorflow

Last synced: 09 Jul 2025

https://github.com/Wilfred/suggest.el

discover elisp functions that do what you want

emacs emacs-lisp program-synthesis

Last synced: 21 Apr 2025

https://github.com/wilfred/suggest.el

discover elisp functions that do what you want

emacs emacs-lisp program-synthesis

Last synced: 06 Apr 2025

https://github.com/bigcode-project/bigcodebench

[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI

agent agents benchmark chatgpt claude-3 code-generation deepseek function-calling gemini gpt-4 instruction-following large-language-models llm program-synthesis tool-use

Last synced: 15 May 2025

https://github.com/microsoft/multilspy

multilspy is a lsp client library in Python intended to be used to build applications around language servers.

ai ai4code artificial-intelligence code-analysis code-completion code-generation codegen huggingface-transformers language-server-client language-server-protocol large-language-model large-language-models llm lsp lsp-client neurips neurips-2023 program-synthesis transformer

Last synced: 15 May 2025

https://github.com/fuzz4all/fuzz4all

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

fuzzing large-language-models llm program-synthesis testing

Last synced: 07 Sep 2025

https://github.com/microsoft/monitors4codegen

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.

ai ai4code artificial-intelligence code-analysis code-completion code-generation codegen dataset huggingface-transformers language-server-client language-server-protocol large-language-models llm lsp lsp-client neurips neurips-2023 program-synthesis transformer

Last synced: 14 Apr 2025

https://github.com/gia-uh/autogoal

A Python framework for program synthesis with a focus on Automated Machine Learning.

automl framework machine-learning optimization program-synthesis python3

Last synced: 18 Jan 2026

https://github.com/GrammaTech/sel

Programmatic modification and evaluation of software

evolutionary-computation program-synthesis software-engineering source-code

Last synced: 21 Apr 2025

https://github.com/nearai/program_synthesis

Program Synthesis

deep-learning machine-learning program-synthesis research-project

Last synced: 22 Apr 2025

https://github.com/ise-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"

code-completion code-generation large-language-models program-repair program-synthesis

Last synced: 16 May 2025

https://github.com/hiroakimikami/deep-coder

Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)

chainer deep-learning deepcoder deeplearning program-synthesis

Last synced: 06 May 2025

https://shaohua0116.github.io/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

deep-learning icml icml-2018 program-synthesis video-analysis

Last synced: 02 May 2025

https://github.com/evoasm/evoasm.rb

An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine

aimgp genetic-algorithm genetic-programming jit program-synthesis ruby x64 x86-64

Last synced: 20 Mar 2025

https://github.com/chasenorman/canonicallean

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

automated-reasoning dependent-type-theory dependent-types formal-methods lean4 program-synthesis theorem-prover theorem-proving

Last synced: 02 Nov 2025

https://github.com/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.

deep-learning machine-learning program-synthesis research software-engineering

Last synced: 07 May 2025

https://github.com/jfeser/l2

λ² is a tool for synthesizing functional programs from input-output examples.

program-synthesis

Last synced: 15 Sep 2025

https://github.com/volotat/GAS

Generative Art Synthesizer - a python program that generates python programs that generates generative art

generative generative-art math math-art metaprogramming program-synthesis

Last synced: 10 May 2025

https://github.com/raeidsaqur/mgn

Multimodal Graph Network (MGN): Code repo, examples from the paper

compositionality gnn program-synthesis vqa

Last synced: 03 Sep 2025

https://github.com/hiroakimikami/mlprogram

PyTorch library for synthesizing programs from natural language

deep-learning deep-neural-network deeplearning natural-language-understanding nl2code program-synthesis pytorch treegen

Last synced: 06 May 2025

https://github.com/aig-upf/automated-programming-framework

Automated Programming Framework

automated-planning generalized-planning program-synthesis

Last synced: 14 Oct 2025

https://github.com/jfeser/castor

Deductive synthesis and compilation of specialized databases.

compiler database deductive-reasoning program-synthesis

Last synced: 25 Jul 2025

https://github.com/celinehocquette/numsynth-aaai23

C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

inductive-logic-programming program-synthesis

Last synced: 17 Jan 2026

https://github.com/justinlubin/honeybee

Analyze experimental data with Programming by Navigation

program-synthesis programming-languages

Last synced: 25 Jan 2026

https://github.com/demfier/psynlp

Python module with Program Synthesis Techniques for NLP

finite-state-transducers formal-concept-analysis nlp oracle-learning program-synthesis

Last synced: 01 May 2025

https://github.com/yjl9903/flashfill

A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.

program-synthesis programming-languages string-manipulation

Last synced: 26 Oct 2025

https://github.com/mrvplusone/escher-scala

Recursive Program Synthesis using input-output examples

automated-programming program-synthesis programming-by-example

Last synced: 20 Aug 2025

https://github.com/mfornet/tcgen

Program synthesis tool. Read a list of strings and create a generator that sample strings from the same distribution as input strings. Focused on test cases of competitive programming problems.

competitive-programming program-synthesis

Last synced: 02 Mar 2025