-
duet Public
Forked from zkincaid/duetDuet: static analysis for unbounded concurrency
-
starter-hugo-academic Public template
Forked from HugoBlox/theme-academic-cv🎓 Hugo Academic Theme 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
TeX MIT License UpdatedApr 18, 2024 -
-
kickstart.nvim Public
Forked from mjlbach/starter.nvimA small, documented, and featureful neovim starter config
Lua MIT License UpdatedJun 4, 2022 -
apron Public
Forked from antoinemine/apronApron Numerical Abstract Domain Library
-
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs framework for the stubborn martian hacker
Emacs Lisp MIT License UpdatedNov 24, 2021 -
academicpages.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedNov 1, 2020 -
oplss-notes-2019 Public
Forked from OPLSS/oplss-notes-2019Notes and handouts from OPLSS 2019
TeX UpdatedJun 27, 2019
{{ message }}