Joshua27/ProBramSynthesis

Program Synthesis for B in ProB

Language: Java - Size: 62.5 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

Joshua27/BSynthesis

Repair and Generation of Formal Models Using Synthesis (User Interface)

Language: Java - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

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: almost 2 years 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: almost 7 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: almost 2 years 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: over 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: over 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: 3 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: 20 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: over 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: about 11 hours 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: over 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: almost 5 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: 4 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0