program-synthesis

There are 166 repositories under program-synthesis topic.

  • fchollet/ARC-AGI

    The Abstraction and Reasoning Corpus

    Language:JavaScript4.6k11280697

  • evalplus/evalplus

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

    Language:Python1.6k9211179

  • primaryobjects/AI-Programmer

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

    Language:C#1.1k1569267

  • microsoft/PythonProgrammingPuzzles

    A Dataset of Python Challenges for AI Research

    Language:Python991151698

  • 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#6505535101

  • ravichugh/sketch-n-sketch

    Direct Manipulation Programming for HTML/SVG

    Language:Elm562354332

  • Inventitech/strans

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

    Language:Roff5506517

  • hendrycks/apps

    APPS: Automated Programming Progress Standard (NeurIPS 2021)

    Language:Python493112867

  • microsoft/multilspy

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

    Language:Python47755483

  • bigcode-project/bigcodebench

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

    Language:Python44478858

  • microsoft/rat-sql

    A relation-aware semantic parsing model from English to SQL

    Language:Python4421368121

  • ezelikman/parsel

    Code for Parsel 🐍 - generate complex programs with language models

    Language:Python4339837

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

  • Wilfred/suggest.el

    discover elisp functions that do what you want

    Language:Emacs Lisp374143814

  • fuzz4all/fuzz4all

    🌌️Fuzz4All: Universal Fuzzing with Large Language Models

    Language:Python3021951

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

  • logic-and-learning-lab/Popper

    An inductive logic programming system

    Language:Python242199645
  • autogoal

    gia-uh/autogoal

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

    Language:Python213117466

  • CozySynthesizer/cozy

    The collection synthesizer

    Language:Python211116818

  • metagol/metagol

    Metagol - an inductive logic programming system

    Language:Prolog205261928

  • GrammaTech/sel

    Programmatic modification and evaluation of software

    Language:Common Lisp195222724

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

  • nearai/program_synthesis

    Program Synthesis

    Language:Jupyter Notebook14581028

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

  • TyGuS/suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Language:Scala128101121

  • dkamm/deepcoder

    Deepcoder paper implementation

    Language:Python12071132

  • nju-websoft/PairCoder

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

    Language:Python1115113

  • HiroakiMikami/deep-coder

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

    Language:Python108141628

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

  • ku-progsys/rbsyn

    Program synthesis for Ruby

    Language:Ruby965337

  • evoasm/evoasm.rb

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

    Language:Ruby928313

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

  • chasenorman/CanonicalLean

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

    Language:Lean919

  • 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

  • jfeser/L2

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

    Language:OCaml87667