Repository Index

The repository host gives no description.

Generate a GitHub stats SVG for your GitHub Profile README in GitHub Actions

• profile-readme
• github-profile
• github-profile-readme
• github-stats

Github Action to set up ROS 2 on hosts

• ros2
• ci
• colcon

Mobile App CI workflow GEnerator: Android, iOS, Flutter, and React Native!

• ci
• cicd
• android
• flutter

GitHub Action for building a LÖVE Project

Simplified Firebase interaction for continuous integration

• firebase
• continuous-integration
• travis-ci
• deployment

:memo: Godot template with code formatting, license tracking & CI/CD

• github-action
• godot
• godot-template
• pre-commit

GitHub Action for building and testing Swift packages across all platforms.

• ci-cd
• cicd
• github-actions
• ios

Install `wasm-pack` by downloading the executable

• wasm-pack
• wasm
• webassembly
• github-action

Github action for dlang compiler setup

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

Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.

• ai-agents
• claude-code
• claude-code-plugin
• codex

tools for exporting godot projects via Github Actions

• ci
• github-actions
• godot

Install `Trunk` by downloading the executable

• trunk
• yew
• seed
• webassembly

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

GitHub Action to Setup Common Lisp tools

• common-lisp
• github-action

😺 Pinnable dynamic Gist with your latest AniList activity.

• pinned-gist
• python3
• docker
• anilist

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

A GitHub Action to track code coverage in your pull requests, with a beautiful HTML preview, for free.

• coverage
• coverage-report
• go
• golang

Utilities for running Common Lisp on CI platforms

• common-lisp
• ci
• travis-ci
• circleci

The repository host gives no description.

GitHub action to setup an Ada/SPARK dev environment

⏰ Update a pinned gist to contain your Daily RescueTime Stats

• pinned-gist
• rescue-box
• rescuetime
• github-actions