Pinned Repositories
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
apron
Apron Numerical Abstract Domain Library
doom-emacs
An Emacs framework for the stubborn martian hacker
duet
Duet: static analysis for unbounded concurrency
kickstart.nvim
A small, documented, and featureful neovim starter config
normalizffi
oplss-notes-2019
Notes and handouts from OPLSS 2019
starter-hugo-academic
🎓 Hugo Academic Theme 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
duet
Duet: static analysis for unbounded concurrency
happypig95's Repositories
happypig95/apron
Apron Numerical Abstract Domain Library
happypig95/duet
Duet: static analysis for unbounded concurrency
happypig95/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
happypig95/doom-emacs
An Emacs framework for the stubborn martian hacker
happypig95/kickstart.nvim
A small, documented, and featureful neovim starter config
happypig95/normalizffi
happypig95/oplss-notes-2019
Notes and handouts from OPLSS 2019
happypig95/starter-hugo-academic
🎓 Hugo Academic Theme 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.