Papers from the computer science community to read and discuss.

A black hole for Internet advertisements

Fish-like autosuggestions for zsh

Pretty, minimal and fast ZSH prompt

 Swiss Army Knife for macOS

A conda-forge distribution.

Recall what you or your team did on the last working day

Examples of my Claude Code infrastructure with skill auto-activation, hooks, and agents

▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.

🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.

💤 A utility tool powered by fzf for using git interactively.

Replace zsh's default completion selection menu with fzf!

💻 A better and friendly vi(vim) mode plugin for ZSH.

Use Vim everywhere you've always wanted to

🐠 ZSH port of Fish history search (up arrow)

🚀 A next-generation cd command with your interactive filter

A system for automatically configuring mutt and isync with a simple interface and safe passwords

fresh directories for every vibe

config manager based on Git

An interactive way to peruse your git history from the terminal

[deprecated] git workflow shortcuts

A slightly better history for zsh

Change the dates of several git commits with a single command

Tab completion using fzf

The zsh manager for auto-expanding abbreviations, inspired by fish. ~38,000 clones by ~25,000 unique cloners as of October '25, and averaging ~60-70 Homebrew installs monthly since June 2023

Fighting the copy-paste element of your rebase workflow.

test your commits

Easily display non-completable trivia right under your editing buffer

Claude skills for Lean 4 theorem proving