Sign in

Repository Index

61,772 visible repositories in the index

Tags: Cloud and DevOps
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–35 of 35 · Most stars

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

YAML-based Dependency Injection container for GO

  • dependency-injection
  • dependency-injection-container
  • go
  • golang