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

33 results for source starred repositories written in Shell
Clear filter

Papers from the computer science community to read and discuss.

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

Fish shell like syntax highlighting for Zsh.

Shell 21,869 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,177 180 Updated Jul 9, 2025

Replace zsh's default completion selection menu with fzf!

Shell 4,248 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,671 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,619 409 Updated Nov 8, 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 76 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

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

μPaaS — nano PaaS based on Docker and gitreceive

Shell 28 3 Updated Oct 17, 2013

Example build system for making mixed C/Ocaml binaries where the main program is in C

Shell 17 1 Updated Oct 3, 2017
Next