◐ Shell
clean mode source ↗

rwe - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

View rwe's full-sized avatar

Robert Estelle rwe

  • Seattle, WA

Block or report rwe

Pinned Loading

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

    Haskell 2.9k 416

  2. 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 69k 24.1k

  3. GitHub Action: Run hlint

    TypeScript 8 1

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

    Python 852 36

  6. 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 61.5k 28k