Mergify.io

A set of GitHub actions for checking your projects for vulnerabilities

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

A GitHub action to kick off a Tidelift alignment.

Mirror from https://gerrit.wikimedia.org/g/analytics/wikistats2

Regular expression for matching ANSI escape codes

ANSI escape codes for styling strings in the terminal

ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.

Generates attr_accessors that encrypt and decrypt attributes

Generate releases based on semantic version labels on pull requests.

Universal Command Line Interface for Amazon Web Services

Interactive shell session for AWS CLI with MFA support

Promise based Http library for the browser and Node.js

Azure Command-Line Interface

This repo is the home of the official Azure DevOps documentation for Microsoft. GitHub Issues filed in this repository should be for problems with the documentation.

IntelliJ IDEA plug-in for Visual Studio Team Services and Team Foundation Server (TFS)

Azure Python SDK documentation, hosted on docs.microsoft.com.

Azure Quickstart Templates

🐠 Babel is a compiler for writing next generation JavaScript.

📦 Babel loader for webpack

Fast key-value DB in Go.

a fast, scalable, multi-language and extensible build system

Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala

Super-project for modularized Boost

A tool to create Boost module dependency reports

the code that runs http://browserify.org

Docker CLI plugin for extended build capabilities with BuildKit