GitHub topics: program-synthesis
zzzDavid/CS6120-A13
Cornell CS6120 Assignment 13: Program Synthesis
Language: Python - Size: 27.3 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

celestebarnaby/ImageEye
Language: Python - Size: 1.32 GB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1

aig-upf/pgp-landmarks
Progressive Generalized Planning with Landmarks
Language: C++ - Size: 84 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

pbelcak/disper
End-to-End Neural Permutation Program Synthesis with Disentanglement
Language: Python - Size: 46.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

lorepozo/list-routines
Interactive dataset for program learning.
Language: Racket - Size: 351 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

vitalwarley/abstract_reasoning
trying to bring AGI asap
Language: Jupyter Notebook - Size: 1.61 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

flxsosa/ProgramSearch
A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. Presented at NeurIPS 2019.
Language: Python - Size: 581 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 31 - Forks: 6

ivan-ristovic/BBE 📦
Software Verification course project - Fixing bugs using a working example as a specification
Language: Java - Size: 29.7 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

marcusm117/human-eval-enhanced Fork of openai/human-eval
Bug-Fixed & Test-Enhanced HumanEval Dataset
Language: Python - Size: 363 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

unitn-sml/syn-interventions-algorithmic-recourse
Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis.
Language: Python - Size: 3.32 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1

ics-jku/epex-formal-rv32-model
A RISC-V RV32 model ready for SMT program synthesis.
Language: C - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

plasma-umass/Tortoise 📦
Tortoise: Interactive System Configuration Repair
Language: Scala - Size: 430 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0

RU-Automated-Reasoning-Group/pi-PRL
ICLR'22 Programmatic Reinforcement Learning
Language: Python - Size: 10.4 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 2

gomahajan/formal-uav
UAV control with formal guarantees
Language: Python - Size: 68.4 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 1

Mateusz-Grzelinski/program-synthesis-documentation
Many resources about program synthesis
Language: Python - Size: 45.9 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

jsego/up-bfgp
Integrator of the BFGP++ framework into the Unified Planning library.
Language: Python - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

saschaschramm/autopilot-for-code
ChatGPT can develop, set up, and run a complete web application.
Size: 2.89 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

ThousandMonkeysTypewriter/Deployer
Machine Learning functions inside Java objects
Size: 214 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

RU-Automated-Reasoning-Group/dPads
NeurIPS'21 Differentiable Program Synthesis
Language: Python - Size: 146 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 2

RongaoLi/Algorithms
Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 2

raeidsaqur/mgn
Multimodal Graph Network (MGN): Code repo, examples from the paper
Language: Python - Size: 1.36 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 18 - Forks: 4

tomasraposo/PyDD
A hybrid algorithmic debugger and program synthesis engine for Python
Language: Python - Size: 375 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

albertusk95/intention-to-code-lstm
Source Code Generation Based On User Intention Using LSTM Networks
Language: Python - Size: 2.17 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 17 - Forks: 3

Baltoli/accsynt
Program synthesis tools and utilities for LLVM.
Language: C++ - Size: 8.95 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 3

azhirnov/ProgramSynthesis 📦
GPU accelerated program synthesis
Language: C++ - Size: 79.1 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

ivan-ristovic/Program-Synthesis-Paper 📦
Science Paper Methodology course project - Paper on Program Synthesis
Language: TeX - Size: 3.83 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

trishullab/ampersand
Neurosymbolic Algorithms for Machine Programming and Reasoning
Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rbavishi/autopandas
OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
Language: Python - Size: 322 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 4

jfeser/castor
Deductive synthesis and compilation of specialized databases.
Language: OCaml - Size: 28.8 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 1

jbalint/jcfl
Java class file loader for analysis & synthesis
Language: Java - Size: 64.5 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

sumith1896/skosette
Reimplementation of the Skolem function generation using Rosette
Language: Racket - Size: 1.93 MB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

haisi/jPBE
A library helping you transform strings by providing examples instead of coding (PBE)
Language: Java - Size: 934 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

shafiuzzaman-md/WPI_synthesis
Program Synthesis to Exploit Algorithmic DoS Attack
Language: Python - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

lorepozo/ec Fork of ellisk42/jetty
Learning programs with the Exploration-Compression algorithm
Language: OCaml - Size: 297 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 0

mfornet/tcgen
Program synthesis tool. Read a list of strings and create a generator that sample strings from the same distribution as input strings. Focused on test cases of competitive programming problems.
Language: Python - Size: 22.5 KB - Last synced at: 12 days ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 0

dynaroars/ceti
CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.
Language: SWIG - Size: 425 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

SaswatPadhi/ExcelSynth
An enumerative synthesizer for recovering Excel formulas from CSVs.
Language: OCaml - Size: 189 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

UCLA-SEAL/ALICE
Active Inductive Logic Programming for Code Search (ICSE 2019)
Language: Java - Size: 106 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

syall/json-synthesizer
Program Synthesizer from JSON data sources that produces Transpilable Typed JSON.
Language: JavaScript - Size: 1.38 MB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

weirane/egsolver
Bottom up enumeration with egg
Language: Slash - Size: 985 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

cocodev-harvard/cocodev.org
Language: TeX - Size: 101 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 10

Y1fanHE/kdps-arm
Code and data repository for the paper titled as "Incorporating Sub-programs as Knowledge in Program Synthesis by PushGP and Adaptive Replacement Mutation"
Language: HTML - Size: 29.4 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

kupl/synthrl
SynthRL [ˈsɪnθrɪl]
Language: Python - Size: 335 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1

geektoni/learning_programs_with_arguments
Code for the paper "Learning Programs with arguments and sampling"
Language: Python - Size: 3.52 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

DhvanilSanghvi/Operations
This repository tests the use of program synthesis to generate programs using simple arithmetic operations.
Language: C# - Size: 320 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

kiridi/inductive-haskell
Inductive Haskell
Language: Haskell - Size: 1.34 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

TyGuS/robosuslik
Synthesis with Read-Only Borrows
Language: Scala - Size: 1.2 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

MrVPlusOne/Escher-Scala
Recursive Program Synthesis using input-output examples
Language: Scala - Size: 3.56 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 5

declanoller/top-down-REPL
Language: Python - Size: 186 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

MaximumEndurance/Program-Synthesis-using-PG Fork of Priyanshu-pg/Program-Synthesis-using-PG
This repository aims to synthesize programs in BrainFuck language. It takes Input-Output examples as input to generate program. The model uses Reinforcement learning to train model to generate model. The agent in RL task is generative RNN model, which samples programs in BF.
Language: Python - Size: 24.7 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

jfeser/csynth
A component-based inductive synthesizer
Language: OCaml - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

artemmukhin/CollectionSynthesis
Term paper and research on program synthesis at SPBU
Language: Haskell - Size: 814 KB - Last synced at: 8 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

Demfier/program_synthesis
Library for morphological inflection of any language.
Language: Jupyter Notebook - Size: 6.9 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
