Giters
wslee

wslee

Geek Repo

5

followers

0

following

13

stars

Github PK Tool:Github PK Tool

wslee's repositories

euphony

Euphony: a probabilistic model-guided program synthesizer

Language:SlashLicense:NOASSERTIONStargazers:24Issues:2Issues:0

duet

Language:SlashLicense:GPL-3.0Stargazers:18Issues:2Issues:1

popl21_artifacts

Language:SlashLicense:GPL-3.0Stargazers:1Issues:0Issues:0

psl_homepage

A beautiful Jekyll theme for academics

Language:SCSSLicense:MITStargazers:1Issues:0Issues:0

ChiselBench

Language:CStargazers:0Issues:0Issues:0

ManyBugs

Language:PythonStargazers:0Issues:0Issues:0

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#License:NOASSERTIONStargazers:0Issues:0Issues:0

smake

Language:ShellStargazers:0Issues:0Issues:0