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: about 2 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 6 years ago)
- Default Branch: master
- Last Pushed: 2020-10-13T16:55:58.000Z (over 5 years ago)
- Last Synced: 2025-07-13T13:41:24.024Z (10 months ago)
- Topics: program-synthesis, research-compendium, rst, synthesis
- Language: Python
- Homepage:
- Size: 45.9 KB
- Stars: 5
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Research about current status of program synthesis
I am gathering information about program synthesis as for year 2020. Note, this is my personal documentation for project I am doing for course at AGH university.
## Usage
You can search for `.rst` files in this repository and read it online, or compile it using `Sphinx`:
I recommend reading order:
- [how_to_program_synthesis.rst](how_to_program_synthesis.rst)
- [overview.rst](overview.rst) - overview of existing implementations of program synthesis
and then for more papers:
- [publications/code_repair.rst](publications/code_repair.rst)
- [publications/microsoft.rst](publications/microsoft.rst)
- [publications/others.rst](publications/others.rst)