Pinned Repositories
candid.vim
A light & dark vim/neovim color scheme inspired in the awesome VSCode Plastic.
history
Some of my history projects
pengtou-backend
Backend of the pengtou project, based on the django framework.
plugin_tutorials
A collection of small projects to illustrate how to write plugins for Coq
sinterp
douglastt's Repositories
douglastt/sinterp
douglastt/candid.vim
A light & dark vim/neovim color scheme inspired in the awesome VSCode Plastic.
douglastt/pengtou-backend
Backend of the pengtou project, based on the django framework.
douglastt/history
Some of my history projects
douglastt/plugin_tutorials
A collection of small projects to illustrate how to write plugins for Coq