Skip to content
View rwe's full-sized avatar
🐙
🐙
48 followers · 76 following
  • Seattle, WA

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report rwe

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned

  1. agda/agda agda/agda Public

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 2.4k 333

  2. ansible/ansible ansible/ansible Public

    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 clo…

    Python 61.2k 23.7k

  3. actions-hlint-run actions-hlint-run Public

    GitHub Action: Run hlint

    TypeScript 6 1

  4. microsoft/vscode microsoft/vscode Public

    Visual Studio Code

    TypeScript 158k 27.7k

  5. mystor/git-revise mystor/git-revise Public

    A handy tool for doing efficient in-memory commit rebases & fixups

    Python 712 28

  6. git/git git/git Public

    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 Documen…

    C 50.1k 25.1k