Python library to query APT repositories
☆13Aug 6, 2024Updated last year
Alternatives and similar repositories for python-apt-repo
Users that are interested in python-apt-repo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hosting platform for the makedeb Package Repository (MPR)☆15Nov 21, 2025Updated 4 months ago
- Semantic SSH RSA keys☆25Feb 25, 2014Updated 12 years ago
- Documentation☆19Apr 2, 2026Updated last week
- Tool to analyse the import structure of lean projects.☆19Apr 2, 2026Updated last week
- ☆11Apr 7, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Test runner for py.test test framework with web GUI☆15Nov 24, 2018Updated 7 years ago
- ☆17Mar 14, 2026Updated 3 weeks ago
- ROS interfaces for the ZED ROS Wrapper☆15Jan 22, 2026Updated 2 months ago
- science-based weight lifting exercise library, program maker + tracker☆33Mar 10, 2026Updated 3 weeks ago
- ☆14May 19, 2019Updated 6 years ago
- Firefox add-on for arranging tabs vertically☆21Jun 23, 2016Updated 9 years ago
- AST export from Lean 4☆17Jul 25, 2024Updated last year
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆34Mar 25, 2026Updated 2 weeks ago
- ☆15Mar 27, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- ☆10Dec 11, 2023Updated 2 years ago
- a ssh to websocket bridge☆21Dec 11, 2024Updated last year
- Script to monitor wheather an OpenStack cloud is working correctly☆18Nov 5, 2025Updated 5 months ago
- APT repository for prebuilt MPR packages☆15May 10, 2023Updated 2 years ago
- LZ👌 – MIT licensed C++ implementation of LZO compression/decompression algorithm☆33Oct 22, 2023Updated 2 years ago
- A tool for partial comparison of (nested) data structures☆18Apr 9, 2024Updated 2 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- MPR in your pocket☆33Jul 11, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [UR 2023] Robust Route Planning with Distributional Reinforcement Learning in a Stochastic Road Network Environment☆22Jun 19, 2024Updated last year
- Tetяis JS☆16Feb 12, 2026Updated last month
- This an android app aimed to assist those who wish to improve in Super Smash Bros. Melee☆24Dec 12, 2018Updated 7 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 11 months ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆11May 28, 2023Updated 2 years ago
- Local Privilege Escalation Miner☆32Apr 11, 2022Updated 3 years ago
- Entrypoint to wave harvesting buoy☆28Updated this week
- Example of Generating RSA Keys☆36Mar 6, 2019Updated 7 years ago
- Jsonnet language support for the Atom text editor☆26May 28, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆16Apr 1, 2011Updated 15 years ago
- bmpanel - lightweight, netwm compliant, x11 panel with desktop switcher, taskbar, systray and clock☆18Mar 26, 2009Updated 17 years ago
- ☆13Apr 2, 2026Updated last week
- Read-only mirror of https://gitlab.gnome.org/GNOME/yelp-tools☆12Nov 18, 2025Updated 4 months ago
- Rust crate for interacting with libapt-pkg☆18Jan 15, 2026Updated 2 months ago
- 💫 ANSI colors library for Lua.☆12Dec 5, 2022Updated 3 years ago
- Qt5 rsync front-end☆11Sep 14, 2017Updated 8 years ago