Github action for deleting old versions of packages in the Github package registry.
☆72Sep 22, 2026Updated this week
Alternatives and similar repositories for delete-old-packages
Users that are interested in delete-old-packages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆445Jun 6, 2025Updated last year
- Github Action to problem match gcc output☆25Mar 12, 2026Updated 6 months ago
- Avax L1 for the next generation of social based marketing and sales☆12Dec 17, 2024Updated last year
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- GitHub Action to run .NET Core tests and generate report attached to Workflow Run☆121Aug 18, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- ☆16Aug 2, 2023Updated 3 years ago
- ☆13Jul 9, 2024Updated 2 years ago
- Accept payments on your Angular/Express-based website with cards, wallets, and key local payment methods☆13Jun 16, 2026Updated 3 months ago
- 📚 A library for managing libraries and resolving unit paths☆17Jun 19, 2026Updated 3 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 9 months ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- A Java Library to easily convert images to WebP, a Spring REST-Service for devs that uses the lib and an user-friendly Web UI for everyon…☆16Aug 1, 2026Updated last month
- a REST repository for NBT data☆11Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17Nov 11, 2021Updated 4 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 3 weeks ago
- ☆16Oct 31, 2023Updated 2 years ago
- JS library for building JSON objects through a dynamic form☆18Jun 9, 2015Updated 11 years ago
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 2 months ago
- ☆17Jun 10, 2022Updated 4 years ago
- ⚙️ GitHub Action to get the current workflow run's Job URL and ID☆23Nov 24, 2025Updated 9 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 10 months ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Repository used to play with Containerlab.☆11Jan 19, 2022Updated 4 years ago
- Some ZFS kernel modules and binaries, automatically built from CoreOS stable/beta/alpha channels☆13Apr 2, 2016Updated 10 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 7 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- OpenShift Enterprise Training Manual☆13Apr 8, 2013Updated 13 years ago
- A fast and robust wildcard matching library for .NET Standard.☆11Jan 3, 2022Updated 4 years ago
- Parsing library based on Earley Algorithm☆19Aug 16, 2026Updated last month
- 🔙 Backward lists for OCaml☆21Jun 19, 2026Updated 3 months ago
- Library for redirecting Java bytecode & reflection calls using ASM☆18Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- BlueMap Native addon that displays signs on your map☆16Updated this week
- Streamline your application startup process. Easily enable multiple presentation layers to effectively scale your application.☆18Feb 22, 2026Updated 7 months ago
- An anti chat report plugin for Spigot & Paper 1.19 - 1.21.9 - With translatable/language messages support☆16Jun 25, 2026Updated 2 months ago
- Bgpdump2: A Tool to Read and Compare the BGP RIB Dump Files.☆16Jul 5, 2023Updated 3 years ago
- ytt lint validates ytt-templates and plain yaml-files. It is designed for Kubernetes artifacts, but works with other yaml-files.☆11Jan 3, 2024Updated 2 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago