OmnInfinity's Stars
microsoft/terminal
The new Windows Terminal and the original Windows console host, all in the same place!
alacritty/alacritty
A cross-platform, OpenGL terminal emulator.
BurntSushi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
vim/vim
The official Vim repository
sharkdp/fd
A simple, fast and user-friendly alternative to 'find'
jqlang/jq
Command-line JSON processor
ShareX/ShareX
ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to many supported destinations you can choose from.
VSCodium/vscodium
binary releases of VS Code without MS branding/telemetry/licensing
zyedidia/micro
A modern and intuitive terminal-based text editor
ajeetdsouza/zoxide
A smarter cd command. Supports all major shells.
semantic-release/semantic-release
:package::rocket: Fully automated version management and package publishing
SpaceVim/SpaceVim
A modular Vim/Neovim configuration
crystal-lang/crystal
The Crystal Programming Language
JetBrains/intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
overleaf/overleaf
A web-based collaborative LaTeX editor
dotnet/csharplang
The official repo for the design of the C# programming language
0x7c13/Notepads
A modern, lightweight text editor with a minimalist design.
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
emacs-mirror/emacs
Mirror of GNU Emacs
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
alm-tools/alm
:rose: A :cloud: ready IDE just for TypeScript :heart:
Netflix/hubcommander
A Slack bot for GitHub organization management -- and other things too
pengwynn/flint
Check your project for common sources of contributor friction.
awaescher/RepoZ
👨💻 A zero-conf git repository hub for Windows and macOS with Windows Explorer- & CLI-enhancements
bitrise-io/bitrise
Bitrise runner CLI - run your automations on your Mac or Linux machine -
howl-editor/howl
The Howl Editor
servo/homu
A bot that integrates with GitHub and your favorite continuous integration service
servo/highfive
Github hooks to provide an encouraging atmosphere for new contributors
WeAllJS/weallbehave
CODE_OF_CONDUCT.md generator
WeAllJS/weallcontribute
CONTRIBUTING.md generator