UChicago-PL/smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
OCamlMIT
Stargazers
- AnOldStory@Samsung
- bachang96
- cyberglotGlasgow, UK
- DevenLu
- dhess@hackworthltd
- disconcision@hazelgrove @fplab
- eimfachBerlin
- femartip
- guilhermehasChalmers
- ilya-klyuchnikov@facebook
- kilpkonn
- konapunCalm
- LighghtEelooUniversity of Michigan
- linsykingUniversity of Michigan
- mkhan45
- naminHarvard University
- ngernestIthaca, NY
- omasanoriJapan, or anywhere else
- Orphist
- Pat-Lafon
- qinheping
- sanpoyurUniversity of Wisconsin-Madison
- shinezyy
- sirinathSakrio!
- superfuncYoyogi Games
- techtideLondon
- wodeniCarnegie Mellon University
- wrq
- ygaitondeNotion
- yongweiyWest Lafayette