Yang.He's repositories
algebra-of-programming
A summary of the concepts in Algebra Of Programming
000
astro-zsh-theme
Astro Theme for Oh My ZSH
000
clgen
Deep learning program generator
Language:PythonGPL-3.0000
git-recipes
🥡 Git recipes in Chinese by Zhongyi Tong. 高质量的Git中文教程.
000
guiding-synthesizers
Guiding Program Synthesis by Learning to Generate Examples
intellij-platform-plugin-template
Sketch language support for Intellij platform
Language:KotlinApache-2.0000
java-sketch
a Java front-end for Sketch synthesis tool
program_synthesis
Program Synthesis
rainbow-fart-voices-config
A configurations repo. for the Pycharm plugin, a.k.a., Rainbow-fart. It reveals a config to substitute in-built audios with other files, e.g., Klee in Genshin Impact.
Scythe
Synthesizing SQL queries from input / output examples
Language:Java000
Language:TypeScript000