Sign inSign up

UChicago-PL/smyth

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

OCamlStars 55Forks 5Watchers 55Open issues 12License MIT License
Details
仓库信息
OwnerUChicago-PL
Homepagehttps://uchicago-pl.github.io/smyth
GitHubhttps://github.com/UChicago-PL/smyth
Last pushed2021-03-12
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--