Skip to content
View andreypopp's full-sized avatar
🏠
Working from home
🏠
Working from home

Organizations

@prometheusresearch @ocaml @esy @arrowresearch @ocaml-mlx

Block or report andreypopp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

35 stars written in Shell
Clear filter

Papers from the computer science community to read and discuss.

Shell 100,023 6,154 Updated Oct 10, 2025

Fish shell like syntax highlighting for Zsh.

Shell 21,865 1,358 Updated Nov 21, 2024

Pretty, minimal and fast ZSH prompt

Shell 13,869 996 Updated Oct 13, 2025

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

Shell 6,172 180 Updated Jul 9, 2025

Replace zsh's default completion selection menu with fzf!

Shell 4,245 121 Updated Sep 18, 2025

A ZSH theme designed to disclose information contextually, with a powerline aesthetic

Shell 4,167 590 Updated Jan 23, 2023

⚡️ A tmux plugin giving you a hackable status bar consisting of dynamic & beautiful looking powerline segments, written purely in bash.

Shell 3,670 527 Updated Nov 1, 2025

Multi-User Tmux Made Easy

Shell 3,660 144 Updated Oct 3, 2022

ipsets dynamically updated with firehol's update-ipsets.sh script

Shell 3,617 409 Updated Nov 7, 2025

Because your terminal should be able to perform tasks asynchronously without external tools!

Shell 805 37 Updated Nov 15, 2023

Do GitHub operations from the `git` command

Shell 789 61 Updated Aug 10, 2022

System for building cross-distribution Linux binaries

Shell 615 77 Updated Apr 10, 2025

 Permanent TouchID support 👆 for `sudo`.

Shell 612 16 Updated Sep 27, 2025

deploy a directory as a git branch

Shell 543 38 Updated Sep 8, 2020

Shell interpreter for docopt, the command-line interface description language.

Shell 520 54 Updated Jul 2, 2024

#zsh automatic complete-word and list-choices. Originally incr-0.2.zsh by y.fujii <y-fujii at mimosa-pudica.net>

Shell 437 51 Updated Apr 18, 2017

A fast, asynchronous Zsh prompt with color ASCII indicators of Git, exit, SSH, virtual environment, and vi mode status. Framework-agnostic and customizable.

Shell 324 29 Updated Jan 1, 2025

Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)

Shell 230 5 Updated Jun 2, 2021

A custom diff and merge driver for sqlite

Shell 217 3 Updated Aug 2, 2021

List of flowtype Interfaces.

Shell 203 48 Updated Apr 4, 2018

Use git as a sync tool, without munging your source and sync VCS operations

Shell 161 9 Updated Jul 25, 2012

Builds simple esy native packages with minimal configuration.

Shell 112 6 Updated Sep 23, 2019

File MRU with fzf.vim

Shell 92 12 Updated Feb 10, 2022

Git command to recommit HEAD with a new set of parents

Shell 72 7 Updated Sep 2, 2017

TopGit - A different patch queue manager

Shell 70 8 Updated Feb 7, 2025

FreeBSD 9.1 UFS and ZFS on root Vagrant boxes

Shell 63 2 Updated May 6, 2013

dntw - [D]edicated [N]eovim per [t]mux [w]indow 🤯

Shell 60 Updated Nov 11, 2019

Latency of a web service that stores a large hashtable, in multiple languages

Shell 44 9 Updated Apr 24, 2023

postgres command-line tools

Shell 38 4 Updated Oct 2, 2011
Next