UChicago-PL/smyth

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

OCaml

297 commits

updated Mar 12, 2021

uchicago-pl.github.io/smyth

See the code

holes

programming-by-example

program-sketching

program-synthesis

Contributors

justinlubin

254 commits

ravichugh

33 commits

NiekM

10 commits

Languages

OCaml

39.8%

TeX

27.7%

Elm

21.3%

Python

7.8%

Shell

2.6%

UChicago-PL/smyth

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

OCaml

297 commits

updated Mar 12, 2021

uchicago-pl.github.io/smyth

See the code

holes

programming-by-example

program-sketching

program-synthesis

Contributors

justinlubin

254 commits

ravichugh

33 commits

NiekM

10 commits

Languages

OCaml

39.8%

TeX

27.7%

Elm

21.3%

Python

7.8%

Shell

2.6%