Sign in

Repository Index

47,133 repositories indexed

Tags: Cloud and DevOps
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–6 of 6 · Most stars

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

💾 Offline storage, improved. Wraps IndexedDB, WebSQL, or localStorage using a simple but powerful API.

  • localforage
  • localstorage
  • javascript
  • offline

ansible-lint checks playbooks for practices and behavior that could potentially be improved and can fix some of the most common ones for you

  • ansible
  • ansible-lint
  • pre-commit-hook
  • hacktoberfest

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action