rwe

Seattle, WA

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 65 5.6k364
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.
Language:Python63.5k 1.9k 32.6k23.9k
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Language:C52.9k 2.4k 025.7k
vscode
Visual Studio Code
Language:TypeScript166k 3.3k 188k29.7k
git-revise
A handy tool for doing efficient in-memory commit rebases & fixups
Language:Python749 19 6731
actions-hlint-run
GitHub Action: Run hlint
Language:TypeScript6 2 31
actions-hlint-setup
GitHub Action: Set up hlint
Language:TypeScript2 2 41
libqrencode
QR Code encoding library
Language:C1 3 00
oh-my-zsh
A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Language:Shell1 3 00
pyqrencode
python bindings for libqrencode
Language:Python1 3 00

rwe's Repositories

rwe/actions-hlint-run
GitHub Action: Run hlint
Language:TypeScript6 2 31
rwe/actions-hlint-setup
GitHub Action: Set up hlint
Language:TypeScript2 2 41
rwe/oh-my-zsh
A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Language:Shell1 3 00
rwe/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell3 0
rwe/agda-mode
agda-mode on Atom
Language:OCaml2 0
rwe/agda-stdlib
The Agda standard library
Language:Agda3 0
rwe/asimov
Automatically exclude development dependencies from Apple Time Machine backups
Language:Shell3 0
rwe/berry
📦🐈 Active development trunk for Yarn ⚒
Language:TypeScript1 0
rwe/buildkit
concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit
Language:Go2 0
rwe/cli
GitHub’s official command line tool
Language:Go1 0
rwe/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript1 0
rwe/diff-so-fancy
Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:
Language:Perl1 0
rwe/editorconfig-vim
EditorConfig plugin for Vim
Language:Vim Script1 0
rwe/fix-whitespace
Fixes whitespace issues
Language:Haskell2 0
rwe/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Language:C1 0
rwe/git-revise
A handy tool for doing efficient in-memory commit rebases & fixups
Language:Python2 0
rwe/greenery
Regular expression manipulation library
Language:Python1 0
rwe/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
Language:Ruby1 0
rwe/hue-alfred-workflow
An Alfred workflow for controlling Philips Hue lights.
Language:Python1 0
rwe/nethack-3.4.3-nao-osx
NAO-flavored Nethack, with alterations to install via Homebrew
Language:C2 0
rwe/pastel
A command-line tool to generate, analyze, convert and manipulate colors
Language:Rust2 0
rwe/python-unidiff
Unified diff python parsing/metadata extraction library
Language:Python3 0
rwe/tmux-resurrect
Persists tmux environment across system restarts.
Language:Shell1 0
rwe/tmux-test
A small framework for isolated testing of tmux plugins.
Language:Shell1 0
rwe/tmux-thumbs
A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator
Language:Rust2 0
rwe/unist-util-inspect
utility to inspect nodes
Language:JavaScript1 0
rwe/vscode
Visual Studio Code
Language:TypeScript1 0
rwe/vscode-windows-process-tree
Fetch a Windows process tree fast in Node.js
Language:TypeScript1 0
rwe/zsh-autosuggestions
Fish-like autosuggestions for zsh
Language:Shell1 0
rwe/zsh-syntax-highlighting
Fish shell like syntax highlighting for Zsh.
Language:Shell2 0