program-synthesis

There are 143 repositories under program-synthesis topic.

  • fchollet/ARC-AGI

    The Abstraction and Reasoning Corpus

    Language:JavaScript4k10473619
  • evalplus/evalplus

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

    Language:Python1.3k9192114
  • primaryobjects/AI-Programmer

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

    Language:C#1.1k1589264
  • microsoft/PythonProgrammingPuzzles

    A Dataset of Python Challenges for AI Research

    Language:Python970171493
  • 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#621563499
  • ravichugh/sketch-n-sketch

    Direct Manipulation Programming for HTML/SVG

    Language:Elm553354331
  • Inventitech/strans

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

    Language:Roff5478517
  • hendrycks/apps

    APPS: Automated Programming Progress Standard (NeurIPS 2021)

    Language:Python422132857
  • ezelikman/parsel

    Code for Parsel 🐍 - generate complex programs with language models

    Language:Python41810636
  • microsoft/rat-sql

    A relation-aware semantic parsing model from English to SQL

    Language:Python4081868118
  • 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:Python377272769
  • Wilfred/suggest.el

    discover elisp functions that do what you want

    Language:Emacs Lisp367173814
  • bigcode-project/bigcodebench

    BigCodeBench: Benchmarking Code Generation Towards AGI

    Language:Python25664430
  • 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:Python2299428
  • autogoal

    autogoal/autogoal

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

    Language:Python210117464
  • CozySynthesizer/cozy

    The collection synthesizer

    Language:Python210126818
  • logic-and-learning-lab/Popper

    An inductive logic programming system

    Language:Python209197237
  • metagol/metagol

    Metagol - an inductive logic programming system

    Language:Prolog201271927
  • fuzz4all/fuzz4all

    🌌️Fuzz4All: Universal Fuzzing with Large Language Models

    Language:Python1961729
  • GrammaTech/sel

    Programmatic modification and evaluation of software

    Language:Common Lisp170232522
  • microsoft/multilspy

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

    Language:Python1645929
  • nearai/program_synthesis

    Program Synthesis

    Language:Jupyter Notebook144101026
  • nju-websoft/PairCoder

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

    Language:Python128208
  • 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:Python1274011
  • TyGuS/suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Language:Scala126111120
  • 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:Python10210624
  • ku-progsys/rbsyn

    Program synthesis for Ruby

    Language:Ruby944
  • evoasm/evoasm.rb

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

    Language:Ruby9210313
  • 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:Python8711817
  • volotat/ARC-Game

    The Abstraction and Reasoning Corpus made into a web game

    Language:JavaScript86186
  • 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:Python82417
  • jfeser/L2

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

    Language:OCaml67767
  • praveenkulkarni1996/awesome-program-synthesis

    An curated list of papers on program synthesis.

  • evo-eval/evoeval

    EvoEval: Evolving Coding Benchmarks via LLM

    Language:Python62216