Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Repository Index
47,133 repositories indexed
169–181 of 181 · Most stars
BBC reference implementation demonstrating AMWA IS-04, IS-05 and IS-10
- rd-project
- rd-section-apmm
- rd-stability-green
run all your test against a GitHub Pull request
- jenkins
- octokit
- ruby
- auto
A production-grade messaging abstraction for Go. It provides a unified API to decouple business logic from various brokers including Kafka, RabbitMQ, RocketMQ, NATS, Redis, and AWS SQS. Featuring built-in OpenTelemetry integration and engineered for high reliability.
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers
- academic
- ai
- china
- cloudflare-workers
Abstract file storage and upload plugin for CakePHP. Write to local disk, FTP, S3, Dropbox and more through a single interface. It's not just yet another uploader but a complete storage solution.
- abstraction
- filesystem
- storage
- upload
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
Serverless Integration For Fn
Docker images of coq-mathcomp [maintainer=?]
Update a pinned gist to contain your Nintendo Switch stats
- awesome-pinned-gists
- pinned-gist
- profile-readme
A framework to manage development and testing environments
- ci
- continuous-integration
- development
- environment-provisioning
An Elixir library for interacting with the Amazon SimpleDB API.
Safety-first PostgreSQL migration engine for Node.js — advisory locks, drift detection, checksum verification, 10 lint rules, CLI, and GitHub Action