microsoft/PythonProgrammingPuzzles

A Dataset of Python Challenges for AI Research

Language: Python - Size: 242 MB - Last synced at: about 20 hours ago - Pushed at: over 1 year ago - Stars: 981 - Forks: 95

microsoft/multilspy

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

Language: Python - Size: 262 KB - Last synced at: about 20 hours ago - Pushed at: about 2 months ago - Stars: 379 - Forks: 74

SynthesisLab/grape

GRAmmar for Program synthEsis (GRAPE)

Language: Python - Size: 178 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 1

alcides/GeneticEngine

Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses

Language: Python - Size: 54.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 48 - Forks: 10

ravichugh/sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

Language: Elm - Size: 126 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 557 - Forks: 31

primaryobjects/AI-Programmer

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

Language: C# - Size: 6.48 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,095 - Forks: 265

Zeta611/redemon-ui

🧙‍♀️ Reactive Synthesis by Demonstration for UI

Language: TypeScript - Size: 812 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 5 - Forks: 1

microsoft/rat-sql

A relation-aware semantic parsing model from English to SQL

Language: Python - Size: 110 KB - Last synced at: about 20 hours ago - Pushed at: almost 2 years ago - Stars: 432 - Forks: 117

SimonOuellette35/AmotizedDSL

Instruction step-based, amotized DSL that allows referring to the output of previous steps

Language: Python - Size: 128 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

SynthesisLab/DeepSynth2

General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

Language: Python - Size: 222 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 19 - Forks: 5

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: Python - Size: 6.18 MB - Last synced at: about 20 hours ago - Pushed at: 12 months ago - Stars: 267 - Forks: 31

bigcode-project/bigcodebench

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

Language: Python - Size: 6.57 MB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 398 - Forks: 50

fchollet/ARC-AGI

The Abstraction and Reasoning Corpus

Language: JavaScript - Size: 441 KB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 4,469 - Forks: 670

khodoba/Code-in-Paper-Guide

Learn how to insert code into your LaTeX papers using the hyperref package. Enhance your documents with clear links and references. 🌟💻

Size: 19.5 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

chasenorman/Canonical

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.

Language: Lean - Size: 192 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 61 - Forks: 4

chasenorman/CanonicalLean

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

Language: Lean - Size: 8.12 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 79 - Forks: 5

justinlubin/cobbler

Refactor programs to use library functions

Language: OCaml - Size: 34.1 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

ConfeitoHS/arcle

A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)

Language: Python - Size: 3.49 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 67 - Forks: 9

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# - Size: 81.6 MB - Last synced at: about 20 hours ago - Pushed at: 24 days ago - Stars: 647 - Forks: 99

evalplus/evalplus

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

Language: Python - Size: 5.29 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1,501 - Forks: 164

spencerwuwu/WildSync

WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery

Language: Python - Size: 776 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

Inventitech/strans

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

Language: Roff - Size: 824 KB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 549 - Forks: 17

gussmith23/lakeroad

FPGA synthesis tool powered by program synthesis

Language: Racket - Size: 4.66 MB - Last synced at: 7 days ago - Pushed at: 21 days ago - Stars: 51 - Forks: 10

mj33rice/Sim-CoPilot

SimCoPilot is a benchmark for evaluating LLMs to perform as a "copilot"-style, interactive coding assistant, testing their ability to add and complete code in complex real-world software environments.

Language: Python - Size: 104 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 2 - Forks: 0

lelis-research/Common-Benchmarks-Undervalue-the-Generalization-Power-of-Programmatic-Policies

Code for Common Benchmarks Undervalue the Generalization Power of Programmatic Policies

Language: HTML - Size: 52.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

damianomarsili/VADAR

Program synthesis for 3D spatial reasoning

Language: Jupyter Notebook - Size: 6.19 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 36 - Forks: 2

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: Python - Size: 8.83 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 140 - Forks: 20

logic-and-learning-lab/Popper

An inductive logic programming system

Language: Python - Size: 21.2 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 225 - Forks: 44

gia-uh/autogoal

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

Language: Python - Size: 12.5 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 212 - Forks: 66

GrammaTech/sel

Programmatic modification and evaluation of software

Language: Common Lisp - Size: 18.9 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 186 - Forks: 23

ku-progsys/rbsyn

Program synthesis for Ruby

Language: Ruby - Size: 1.1 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 95 - Forks: 6

aygp-dr/reversible-meta-synthesis

Implementation of reversible meta-interpreter for inductive program synthesis based on Numao and Ma's research

Language: Clojure - Size: 209 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

default01234/COOL-DSL

COOL (Chain-Oriented Objective Logic) - Advanced DSL programming system

Language: C++ - Size: 123 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

simpl-group/ManiRender-artifact-evaluation

Language: Jupyter Notebook - Size: 792 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

google/ARC-GEN

A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus

Language: Python - Size: 7.88 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 1

SimonOuellette35/GridCoder2024

Code for my ARC Prize 2024 submission

Language: Python - Size: 222 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0

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: Python - Size: 958 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 132 - Forks: 12

frankaging/BabyARC

Baby Abstract Reasoning Corpus (BabyARC) dataset engine, for generating grid-world-based abstract reasoning tasks on a large scale.

Language: Python - Size: 2.85 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 1

nju-websoft/PairCoder

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

Language: Python - Size: 22.2 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 113 - Forks: 10

hendrycks/apps

APPS: Automated Programming Progress Standard (NeurIPS 2021)

Language: Python - Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 462 - Forks: 61

Wilfred/suggest.el

discover elisp functions that do what you want

Language: Emacs Lisp - Size: 171 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 370 - Forks: 14

sanctuuary/APE

Tool for automated generation of computational workflows.

Language: Java - Size: 62.2 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 7

SynthesisLab/wikicoder

Synthesis of string manipulation programs from examples with outside knowledge!

Language: Python - Size: 742 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

umass-ml4ed/tiktoc

Official repo for "Test Case-Informed Knowledge Tracing for Open-ended Coding Tasks" (LAK2025)

Language: Python - Size: 130 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

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: Python - Size: 183 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 88 - Forks: 17

metagol/metagol 📦

Metagol - an inductive logic programming system

Language: Prolog - Size: 213 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 201 - Forks: 27

yjl9903/FlashFill

A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.

Language: Rust - Size: 7.94 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 2

praveenkulkarni1996/awesome-program-synthesis

An curated list of papers on program synthesis.

Size: 15.6 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 69 - Forks: 3

nearai/program_synthesis

Program Synthesis

Language: Jupyter Notebook - Size: 838 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 145 - Forks: 27

volotat/GAS

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

Language: Python - Size: 45.7 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 56 - Forks: 6

zaxtax/bustle

Bustle: Botton-up Program Synthesis Through Learning-Guided Exploration

Language: Python - Size: 300 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

jfeser/L2

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

Language: OCaml - Size: 7.15 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 68 - Forks: 7

Cap-Ning/PPM

Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models

Language: C - Size: 1.4 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

akothen/Hydride

A retargetable and extensible synthesis-based compiler for modern hardware architectures

Language: LLVM - Size: 391 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 10 - Forks: 1

rbavishi/atlas

A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)

Language: Python - Size: 1.53 MB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 21 - Forks: 7

amanley97/pyfilament

Recreation of the Filament HDL for our EECS 700: Intro to Program Synthesis course.

Language: Python - Size: 39.8 MB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

Demfier/PsyNLP

Python module with Program Synthesis Techniques for NLP

Language: Python - Size: 5.65 MB - Last synced at: 14 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 2

fuzz4all/fuzz4all

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

Language: Python - Size: 9.84 MB - Last synced at: 7 months ago - Pushed at: 9 months ago - Stars: 200 - Forks: 28

UChicago-PL/smyth

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

Language: OCaml - Size: 10.7 MB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 54 - Forks: 5

ngsankha/eecs700

EECS 700: Intro to Program Synthesis

Language: SCSS - Size: 45.1 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

jhawkreynolds/blacksmyth

Extension to Smyth (https://github.com/UChicago-PL/smyth) that aims to add resynthesis for files with missing functions.

Language: OCaml - Size: 10.7 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

CozySynthesizer/cozy

The collection synthesizer

Language: Python - Size: 3.35 MB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 210 - Forks: 18

mj33rice/SimCoPilot

SimCoPilot is a benchmark for evaluating LLMs to perform as a "copilot"-style, interactive coding assistant, testing their ability to add and complete code in complex real-world software environments.

Language: Python - Size: 141 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

datvo06/VRDSynth

Synthesizing programs to link visually-rich document entities. This is the replication code for VRDSynth paper, accepted in ISSTA'24

Language: Python - Size: 3.19 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0

TyGuS/hoogle_plus

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

Language: Haskell - Size: 122 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 60 - Forks: 8

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: Python - Size: 53.5 MB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 378 - Forks: 69

evo-eval/evoeval

EvoEval: Evolving Coding Benchmarks via LLM

Language: Python - Size: 17.5 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 60 - Forks: 5

rsinghal757/babyARC

BabyARC is a tiny abstraction and reasoning dataset inspired by the original Abstraction and Reasoning Corpus by Francois Chollet.

Language: Jupyter Notebook - Size: 544 KB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

volotat/ARC-Game

The Abstraction and Reasoning Corpus made into a web game

Language: JavaScript - Size: 8.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 82 - Forks: 5

jsego/bfgp-pp

A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.

Language: PDDL - Size: 58.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 3

Mondego/dafny-synthesis

Towards AI-Assisted Synthesis of Verified Dafny Methods

Language: Dafny - Size: 778 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 0

killthebuddh4/gadfly

A system 2 compiler for language models.

Language: TypeScript - Size: 1.65 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

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: Python - Size: 16.2 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 102 - Forks: 24

msv-lab/f1x

Efficient patch generation engine for C/C++ programs

Language: C++ - Size: 798 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3

aixcoder-plugin/nl2code-dataset

Aix-bench, the Java benchmark for code synthesis problem.

Language: Java - Size: 7.05 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 51 - Forks: 1

ezelikman/parsel

Code for Parsel 🐍 - generate complex programs with language models

Language: Python - Size: 170 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 377 - Forks: 32

evoasm/evoasm.rb

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

Language: Ruby - Size: 5.61 MB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 92 - Forks: 13

lelis-research/aulile

Synthesizing Libraries of Programs with Auxiliary Functions

Language: Jupyter Notebook - Size: 81.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

habibrahmanbd/program-synthesis.habibrahman.me

Open Source Book for Program Synthesis in Bengali Language

Size: 1.07 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

xionluhnis/neural_inverse_knitting

Code for Neural Inverse Knitting: From Images to Manufacturing Instructions

Language: Python - Size: 3.36 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 44 - Forks: 11

nerdimite/neuro-symbolic-ai-soc

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

Language: Jupyter Notebook - Size: 8.99 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 52 - Forks: 13

aig-upf/automated-programming-framework

Automated Programming Framework

Language: Shell - Size: 123 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 13 - Forks: 2

jabhinav/Reinforcement-Learning-for-Program-Synthesis

Language: Python - Size: 726 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

iclr-dummy-user/SwissNYF

Code Base for Multi-Tool Usage for black box api access

Language: Jupyter Notebook - Size: 4.46 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

celinehocquette/numsynth-aaai23

C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

Language: Prolog - Size: 85.5 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 0

HiroakiMikami/mlprogram

PyTorch library for synthesizing programs from natural language

Language: Python - Size: 9.03 MB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 3

pauljblazek/deepdistilling

Mechanistically interpretable neural networks losslessly compressed to computer code, discovering new algorithms that generalize out-of-distribution and outperform human-designed algorithms

Language: Python - Size: 1.35 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0

celinehocquette/aaai24-maxsynth

C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.

Language: Prolog - Size: 172 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

ld-ing/plexicase

Probabilistic Lexicase Selection, GECCO 2023

Language: Python - Size: 304 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

ijc8/blocks

Language: TypeScript - Size: 2.36 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

HiroakiMikami/deep-coder

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

Language: Python - Size: 18.9 MB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 107 - Forks: 30

TyGuS/suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

Language: Scala - Size: 8.07 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 121 - Forks: 19

jyoo980/TypeScript.ts

a DSL (domain specific language) for generating TypeScript projects

Language: TypeScript - Size: 359 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 4

BudEcosystem/code-millenials

SOTA OpenSource code generation model on par with GPT-4 & Beating Google Gemini Ultra, Claude -2 etc.

Language: Python - Size: 217 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 2

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: 6 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

microsoft/generator-prose 📦

Yeoman generator for PRogram Synthesis by Examples DSL projects.

Language: JavaScript - Size: 24.4 KB - Last synced at: about 20 hours ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 7

dnezam/functional-pbd

Language: Python - Size: 983 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ayushnoori/program-synthesis

Bottom-up enumerative program synthesis for CS252R at Harvard.

Language: Python - Size: 43.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

celinehocquette/magicpopper

C. Hocquette and A. Cropper, Learning programs with magic values.

Language: Prolog - Size: 1.16 GB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 17 - Forks: 1

SleepyToDeath/NetQRE

An implementation for NetQRE language and a framework to synthesize it by labelled network traces.

Language: TypeScript - Size: 4.15 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0