Access GoogleCloud APIs using Vapor
- vapor-service
- vapor-3
- swift
- google-cloud
Repository Index
66,263 visible repositories in the index
25–32 of 32 · Most stars
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
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
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
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
This repository contains a script to handle the auto creation of a Docker Asset Image for a given Sitecore module
- sitecore
- sitecore-module
- sitecore-10
- sitecore-docker
Antsichaut aims to automate the filling of a changelog.yaml used by antsibull-changelog