😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist
Repository Index
47,133 repositories indexed
193–216 of 243 · Most stars
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 curated collection of ready-to-use Docker Compose files for local web development, plus a powerful CLI (dctl) to manage and orchestrate your registered stacks from anywhere in your terminal.
- compose
- developer-tools
- development
- docker
A GitHub Action to track code coverage in your pull requests, with a beautiful HTML preview, for free.
- coverage
- coverage-report
- go
- golang
Detect whether a site is running behind Cloudflare.
- cloudflare
- waf
- detection
- nodejs
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci
The repository host gives no description.
DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.
- orchestration
- dependency-manager
- git-submodule
- cli
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
TranslatedA GitHub Action that shows Solved.ac profile information as a GitHub Gist
- gistbox
- solved-ac
- solvedac
Github action to run linters on ROS 2 packages
A GitHub Action to install and initialize IPFS
- ipfs
- ipfs-setup
- ipfs-installation
- github-actions
GitHub Action for Go 1.18 fuzz testing
Simple Dependency Injection Container
- go
- golang
- dependency-injection
- container-registry
Highly opionated Github Actions workflow builder for Common Lisp projects.
- common-lisp
- ci
- github-actions
A developer CLI tool that manages .env files, detects secret leaks, syncs env drift across teammates, and validates environment parity between local/staging/prod all from your terminal. Written in Go.
Packages LÖVE Games using GitHub Actions
A github action to easily build your Substrate WASM runtime using srtool with your CI
Convert Postman Collection v2.1 JSON into executable pytest test suites
- api-testing
- postman
- pytest
- python
Prompt-injection firewall for LLM applications — 33 input detectors, 9 output scanners, federated ed25519-signed threat-intel feed. Apache 2.0, 1040 tests, F1 96.0% with 0% false positives. Docker, GitHub Action, LangChain/LlamaIndex/CrewAI integrations.
- agentic-ai
- ai-safety
- fastapi
- langchain
YAML-based Dependency Injection container for GO
- dependency-injection
- dependency-injection-container
- go
- golang
Update a pinned gist to show your LeetCode stats.
- pinned-gist
- leetcode
- github-actions
- github
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.