Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Sdgym | 219 | 1 | 7 months ago | 28 | December 13, 2021 | 15 | other | Python | ||
Benchmarking synthetic data generation methods. | ||||||||||
Regel | 26 | 2 years ago | 2 | mit | Java | |||||
REGEL: Regular Expression Generation from Examples and Language | ||||||||||
Stng | 15 | 2 years ago | 5 | mit | C++ | |||||
compiler for fortran stencils using verified lifting, | ||||||||||
Frangel | 12 | 5 years ago | other | Java | ||||||
A Java program synthesizer. | ||||||||||
Refinements Popl 16 | 7 | 9 years ago | F# | |||||||
Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic. |