A script to check metalink contents
☆13Feb 14, 2020Updated 6 years ago
Alternatives and similar repositories for check_metalink
Users that are interested in check_metalink are comparing it to the libraries listed below
Sorting:
- Configuration to use gpg smartcards for ssh authentication☆17Nov 22, 2020Updated 5 years ago
- Manage an overlay repository of RPMs from upstream git☆22Jul 19, 2019Updated 6 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- Website for visualizing a persons github network.☆11Updated this week
- Everyone has to build their own...☆42Jun 12, 2017Updated 8 years ago
- Event loop driven Ansible playbook execution engine☆35May 27, 2020Updated 5 years ago
- How to support teams building Digital Public Goods?☆10May 5, 2022Updated 3 years ago
- Perl script to generate "quality-of-guess" feedback for users about their requested Slurm walltimes.☆10Jul 15, 2018Updated 7 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- ☆12Oct 15, 2016Updated 9 years ago
- Join us to create the first predictive augmentative communication platform for speech-impaired children!☆11Aug 9, 2023Updated 2 years ago
- ☆10Dec 5, 2017Updated 8 years ago
- Project Gold ✨☆11Jan 29, 2026Updated last month
- A daemon to build and keep fedmsg statistics☆11Jun 28, 2017Updated 8 years ago
- Y U WRITE LONG TESTS?☆16Mar 10, 2012Updated 13 years ago
- A textbook centered around teaching mathematics to physicists and chemists☆12Feb 10, 2022Updated 4 years ago
- Rudder: built-in technique library to handle common configuration or audit tasks☆16Updated this week
- We remember his diary, a static blogging tool.☆11Nov 20, 2021Updated 4 years ago
- Python Client for Nessus REST API☆13Feb 17, 2015Updated 11 years ago
- Tiny app to host static sites.☆12Oct 7, 2024Updated last year
- A git-blame viewer, written using PyGTK.☆36Sep 24, 2013Updated 12 years ago
- ☆13Updated this week
- Allocator and manager for (expensive) resources☆10Updated this week
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Dec 2, 2023Updated 2 years ago
- Get the latest version of various HashiCorp packages.☆12May 27, 2020Updated 5 years ago
- ☆11Apr 1, 2024Updated last year
- Java stream library☆10Aug 3, 2024Updated last year
- A Pulp plugin that manages File content, e.g. repositories of file content.☆14Dec 1, 2025Updated 3 months ago
- Curated from repositories that make our lives as geoscientists, hackers and data wranglers easier or just more awesome☆13Oct 19, 2024Updated last year
- Some useful Ansible Playbooks from Steve☆15Aug 8, 2016Updated 9 years ago
- Transliteration library for Scala and Scala.js☆11Sep 26, 2020Updated 5 years ago
- A pythonic library to parse /proc/mdstat file☆14Feb 7, 2026Updated last month
- Personal dotfiles, scripts, libraries, and documentation☆17Feb 14, 2026Updated 3 weeks ago
- Script to retrieve the vertices and faces from a GOCAD TS file for use in python processing☆11Updated this week
- interpreter for 6502 Apple II in 144 bytes☆13Jul 28, 2015Updated 10 years ago
- ☆10Aug 8, 2024Updated last year
- Raptorize WSGI Middleware☆20Nov 13, 2014Updated 11 years ago
- POSIX clock_gettime(2), clock_getres(2) and clock_nanosleep(2) for NodeJS☆10Jan 28, 2023Updated 3 years ago
- A Rust library for Dota 2's Game State Integration.☆15Jan 15, 2026Updated last month