If you are wondering where the data of this site comes from, please visit GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

ccyip/ 3

Fish port of Zsh's push-line feature

ccyip/coqhammer 0

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

ccyip/doom-emacs 0

An Emacs configuration for the stubborn martian vimmer

ccyip/evil-latex-textobjects 0

LaTeX specific text objects for emacs' evil-mode

ccyip/fiat 0

Mostly Automated Synthesis of Correct-by-Construction Programs


started time in a month