Hacker News
- Program Synthesis is Possible (2018) https://www.cs.cornell.edu/~asampson/blog/minisynth.html 14 comments
Linking pages
Linked pages
- Homebrew — The Missing Package Manager for macOS (or Linux) https://brew.sh 184 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Rosette: About http://emina.github.io/rosette/ 29 comments
- GitHub - lark-parser/lark: Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity. https://github.com/lark-parser/lark 1 comment
- Program Synthesis Explained â James Bornholt https://homes.cs.washington.edu/~bornholt/post/synthesis-explained.html 0 comments
- A Program Synthesis Primer · https://barghouthi.github.io/2017/04/24/synthesis-primer/ 0 comments
Related searches:
Search whole site: site:cs.cornell.edu
Search title: Adrian Sampson: Program Synthesis is Possible
See how to search.