program-synthesis

There are 134 repositories under program-synthesis topic.

  • fchollet/ARC

    The Abstraction and Reasoning Corpus

    Language:JavaScript2.2k8046404

  • primaryobjects/AI-Programmer

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

    Language:C#1.1k1599264

  • evalplus/evalplus

    Rigourous evaluation of LLM-synthesized code - NeurIPS 2023

    Language:Python981715983

  • microsoft/PythonProgrammingPuzzles

    A Dataset of Python Challenges for AI Research

    Language:Python952171494

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

  • ravichugh/sketch-n-sketch

    Direct Manipulation Programming for HTML/SVG

    Language:Elm548354331

  • Inventitech/strans

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

    Language:Roff5478517

  • microsoft/rat-sql

    A relation-aware semantic parsing model from English to SQL

    Language:Python3981868117

  • ezelikman/parsel

    Code for Parsel 🐍 - generate complex programs with language models

    Language:Python38110633

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

  • hendrycks/apps

    APPS: Automated Programming Progress Standard (NeurIPS 2021)

    Language:Python368132648

  • Wilfred/suggest.el

    discover elisp functions that do what you want

    Language:Emacs Lisp364183814

  • CozySynthesizer/cozy

    The collection synthesizer

    Language:Python210126817
  • autogoal

    autogoal/autogoal

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

    Language:Python207117363

  • metagol/metagol

    Metagol - an inductive logic programming system

    Language:Prolog199271927

  • logic-and-learning-lab/Popper

    An inductive logic programming system

    Language:Python178186328

  • GrammaTech/sel

    Programmatic modification and evaluation of software

    Language:Common Lisp163212221

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

  • nearai/program_synthesis

    Program Synthesis

    Language:Jupyter Notebook142101026

  • fuzz4all/fuzz4all

    🌌️Fuzz4All: Universal Fuzzing with Large Language Models

    Language:Python1321414

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

  • TyGuS/suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Language:Scala121101120

  • HiroakiMikami/deep-coder

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

    Language:Python107151631

  • dkamm/deepcoder

    Deepcoder paper implementation

    Language:Python10681130

  • 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

  • ngsankha/rbsyn

    Program synthesis for Ruby

    Language:Ruby946334

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

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

  • praveenkulkarni1996/awesome-program-synthesis

    An curated list of papers on program synthesis.

    66512

  • jfeser/L2

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

    Language:OCaml65767

  • volotat/ARC-Game

    The Abstraction and Reasoning Corpus made into a web game

    Language:JavaScript65145

  • TyGuS/hoogle_plus

    Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

    Language:Haskell606788

  • volotat/GAS

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

    Language:Python53104

  • evo-eval/evoeval

    EvoEval: Evolving Coding Benchmarks via LLM

    Language:Python52103

  • nerdimite/neuro-symbolic-ai-soc

    Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch

    Language:Jupyter Notebook522113