profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/ccyip/events. 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/push-line.fish 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

startedccyip/push-line.fish

started time in a month