📦🚀 Fully automated version management and package publishing
- automation
- changelog
- package
- publish
Repository Index
60,121 visible repositories in the index
1–8 of 8 · Most stars
Terraform Pull Request Automation
Translated🌚 🌍 🌝 Enhanced edition of GeoIP, freely customize GeoIP files in many formats, including but not limited to V2Ray dat format file geoip.dat, MaxMind mmdb format file, sing-box SRS format file, mihomo MRS format file, Clash ruleset, Surge ruleset, Nginx allow & deny rule files, etc. Enhanced edition of GeoIP for Nginx, V2Ray, Xray-core, Clash, mihomo, sing-box, Shadowrocket, Quantumult X, Surge, hysteria, Trojan-Go, dae, etc.
A ShareX/file upload server that is easy to use, packed with features, and with an easy setup!
- zipline
- sharex
- file-upload
- gallery
Selfhosted tournament system
- fastapi
- postgresql
- sports
- tournaments
ClamAV antivirus scanning for Node.js — scan file uploads with a single function call. Zero dependencies. Typed Symbol verdicts. Local or Docker/clamd.
- clamscan
- file-scanner
- virus-scan
- docker-compose
Build your AWS Lambda-based Go backends quicker than ever
- golang
- lambda
- aws
- serverless
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