program-synthesis

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.

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

UpdatedNov 19, 2025
C#

ravichugh /sketch-n-sketch

Star563

Direct Manipulation Programming for HTML/SVG

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

UpdatedJun 2, 2024
Elm

Inventitech /strans

Star550

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

shell program-synthesis sed unix-command unix-cli

UpdatedMay 13, 2020
Roff

microsoft /multilspy

Star504

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

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

UpdatedSep 3, 2025
Python

hendrycks /apps

Star497

APPS: Automated Programming Progress Standard (NeurIPS 2021)

program-synthesis code-generation

UpdatedJun 19, 2024
Python

bigcode-project /bigcodebench

Star458

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

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

UpdatedOct 15, 2025
Python

microsoft /rat-sql

Star443

A relation-aware semantic parsing model from English to SQL

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

UpdatedAug 22, 2023
Python

ezelikman /parsel

Star433

Code for Parsel 🐍 - generate complex programs with language models

python machine-learning ai robotics ml program-synthesis lean

UpdatedSep 17, 2023
Python

crazydonkey200 /neural-symbolic-machines

Star380

Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.

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

UpdatedNov 21, 2022
Python

Wilfred /suggest.el

Star378

discover elisp functions that do what you want

emacs emacs-lisp program-synthesis

UpdatedNov 28, 2025
Emacs Lisp

fuzz4all /fuzz4all

Star314

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

testing program-synthesis fuzzing large-language-models llm

UpdatedAug 11, 2025
Python

microsoft /monitors4codegen

Star277

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.