Pinned Repositories
algebra-of-programming
A summary of the concepts in Algebra Of Programming
astro-zsh-theme
Astro Theme for Oh My ZSH
clgen
Deep learning program generator
git-recipes
🥡 Git recipes in Chinese by Zhongyi Tong. 高质量的Git中文教程.
guiding-synthesizers
Guiding Program Synthesis by Learning to Generate Examples
intellij-platform-plugin-template
Sketch language support for Intellij platform
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.
VeriEQL-demo
whatsmyname's Repositories
whatsmyname/VeriEQL-demo
whatsmyname/algebra-of-programming
A summary of the concepts in Algebra Of Programming
whatsmyname/astro-zsh-theme
Astro Theme for Oh My ZSH
whatsmyname/clgen
Deep learning program generator
whatsmyname/git-recipes
🥡 Git recipes in Chinese by Zhongyi Tong. 高质量的Git中文教程.
whatsmyname/guiding-synthesizers
Guiding Program Synthesis by Learning to Generate Examples
whatsmyname/intellij-platform-plugin-template
Sketch language support for Intellij platform
whatsmyname/java-sketch
a Java front-end for Sketch synthesis tool
whatsmyname/program_synthesis
Program Synthesis
whatsmyname/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.
whatsmyname/Scythe
Synthesizing SQL queries from input / output examples
whatsmyname/spes
Tool for checking SQL query equivalence