https://medium.com/@octskyward/graal-truffle-134d8f28fb69#.jo3luf4dn http://nez-peg.github.io/ https://en.wikipedia.org/wiki/DFA_minimization

https://news.ycombinator.com/item?id=14589173 http://jamey.thesharps.us/2017/06/search-based-compiler-code-generation.html

https://news.ycombinator.com/item?id=15105119
https://en.wikipedia.org/wiki/Tree_transducer

Type-Driven Program Synthesis

https://news.ycombinator.com/item?id=18251145
https://www.youtube.com/watch?v=HnOix9TFy1A
http://comcom.csail.mit.edu/comcom/#welcome
https://bitbucket.org/nadiapolikarpova/synquid

Formality – An efficient programming language and proof assistant

https://news.ycombinator.com/item?id=18230148
https://github.com/maiavictor/formality