The configuration file for fish
working code with <the little learner>
Knowledge base for `navi`
500 Lines or Less
Automate the tedious process of backporting changes
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *an...
My public blog
Learning on the Boyer-Moore prover
ChatCLI is a command-line tool that uses the OpenAI GPT-3 API to provide a chat bot interface tha...
Working code with PAIP
