Skip to content
View rwe's full-sized avatar
🐙
🐙

Highlights

  • Pro

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 Loading

  1. agda/agda agda/agda Public

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

    Haskell 2.5k 356

  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 63k 23.9k

  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 164k 29.3k

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

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

    Python 748 31

  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 52.5k 25.6k