wslee

Pinned Repositories

cse2016hy.github.io
CSE2016 프로그램 설계 방법론 홈페이지
Language:Java37
trio
Language:OCaml4 1 00
ChiselBench
Language:C00
duet
Language:Slash19 2 14
euphony
Euphony: a probabilistic model-guided program synthesizer
Language:Slash25 2 08
ManyBugs
Language:Python00
popl21_artifacts
Language:Slash10
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#00
psl_homepage
A beautiful Jekyll theme for academics
Language:SCSS1 1 00
smake
Language:Shell0 0 00

wslee's Repositories

wslee/euphony
Euphony: a probabilistic model-guided program synthesizer
Language:Slash25 2 08
wslee/duet
Language:Slash19 2 14
wslee/popl21_artifacts
Language:Slash10
wslee/psl_homepage
A beautiful Jekyll theme for academics
Language:SCSS1 1 00
wslee/ChiselBench
Language:C00
wslee/ManyBugs
Language:Python00
wslee/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#00
wslee/smake
Language:Shell0 0 00