https://github.com/mateusz-grzelinski/program-synthesis-documentation
Many resources about program synthesis
https://github.com/mateusz-grzelinski/program-synthesis-documentation
program-synthesis research-compendium rst synthesis
Last synced: 7 months ago
JSON representation
Many resources about program synthesis
- Host: GitHub
- URL: https://github.com/mateusz-grzelinski/program-synthesis-documentation
- Owner: Mateusz-Grzelinski
- Created: 2020-03-22T20:49:12.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2020-10-13T16:55:58.000Z (over 4 years ago)
- Last Synced: 2024-04-28T04:29:08.527Z (about 1 year ago)
- Topics: program-synthesis, research-compendium, rst, synthesis
- Language: Python
- Homepage:
- Size: 45.9 KB
- Stars: 5
- Watchers: 3
- Forks: 0
- Open Issues: 0