| CodeGen2 |
CodeGen2 models for program synthesis
|
| Fiat |
Mostly Automated Synthesis of Correct-by-Construction Programs
|
| Lakeroad |
FPGA synthesis tool powered by program synthesis
|
| minsynth |
[ Not Maintained Since 2019 ] program synthesis is possible
|
| neuralkanren |
[ Not Maintained Since 2018 ] Neural Guided Constraint Logic Programming for Program Synthesis
|
| PROSE |
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic … |
| RbSyn |
Program synthesis for Ruby
|
| Tree Diffusion |
Diffusion on syntax trees for program synthesis
|