program-synthesis

There are 146 repositories under program-synthesis topic.

  • fchollet/ARC-AGI

    The Abstraction and Reasoning Corpus

    Language:JavaScript4.3k10977643

  • evalplus/evalplus

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

    Language:Python1.4k10197144

  • primaryobjects/AI-Programmer

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

    Language:C#1.1k1589265

  • microsoft/PythonProgrammingPuzzles

    A Dataset of Python Challenges for AI Research

    Language:Python977161694

  • 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.

    Language:C#633573599

  • ravichugh/sketch-n-sketch

    Direct Manipulation Programming for HTML/SVG

    Language:Elm554354331

  • Inventitech/strans

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

    Language:Roff5487517

  • hendrycks/apps

    APPS: Automated Programming Progress Standard (NeurIPS 2021)

    Language:Python446122858

  • ezelikman/parsel

    Code for Parsel 🐍 - generate complex programs with language models

    Language:Python42510735

  • microsoft/rat-sql

    A relation-aware semantic parsing model from English to SQL

    Language:Python4171768118

  • 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:Python381272770

  • Wilfred/suggest.el

    discover elisp functions that do what you want

    Language:Emacs Lisp368163814

  • bigcode-project/bigcodebench

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

    Language:Python31776537

  • 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.

    Language:Python2458428

  • microsoft/multilspy

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

    Language:Python23743545

  • fuzz4all/fuzz4all

    🌌️Fuzz4All: Universal Fuzzing with Large Language Models

    Language:Python2231938

  • logic-and-learning-lab/Popper

    An inductive logic programming system

    Language:Python219187940
  • autogoal

    autogoal/autogoal

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

    Language:Python211107465

  • CozySynthesizer/cozy

    The collection synthesizer

    Language:Python211116818

  • metagol/metagol

    Metagol - an inductive logic programming system

    Language:Prolog200271927

  • GrammaTech/sel

    Programmatic modification and evaluation of software

    Language:Common Lisp174222522

  • nearai/program_synthesis

    Program Synthesis

    Language:Jupyter Notebook14591025

  • 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"

    Language:Python1274012

  • TyGuS/suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Language:Scala126101120

  • nju-websoft/PairCoder

    A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement, ASE 2024 (Distinguished Paper Award)

    Language:Python1155110

  • dkamm/deepcoder

    Deepcoder paper implementation

    Language:Python11381130

  • HiroakiMikami/deep-coder

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

    Language:Python107151630

  • 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:Python1029624

  • ku-progsys/rbsyn

    Program synthesis for Ruby

    Language:Ruby956335

  • evoasm/evoasm.rb

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

    Language:Ruby9210313

  • volotat/ARC-Game

    The Abstraction and Reasoning Corpus made into a web game

    Language:JavaScript89286

  • 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:Python8710817

  • pauljblazek/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:Python84317

  • deep-symbolic-mathematics/LLM-SR

    [ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models

    Language:Python74639

  • jfeser/L2

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

    Language:OCaml68767

  • praveenkulkarni1996/awesome-program-synthesis

    An curated list of papers on program synthesis.

    68613