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
Sorting:
- Hosting platform for the makedeb Package Repository (MPR)☆15Nov 21, 2025Updated 3 months ago
- Semantic SSH RSA keys☆25Feb 25, 2014Updated 12 years ago
- Documentation☆18Updated this week
- Tool to analyse the import structure of lean projects.☆18Mar 10, 2026Updated last week
- ☆11Apr 7, 2025Updated 11 months ago
- Test runner for py.test test framework with web GUI☆15Nov 24, 2018Updated 7 years ago
- ☆17Updated this week
- ROS interfaces for the ZED ROS Wrapper☆15Jan 22, 2026Updated last month
- science-based weight lifting exercise library, program maker + tracker☆31Mar 10, 2026Updated last week
- ☆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 9, 2026Updated last week
- ☆15Mar 13, 2026Updated last week
- 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 4 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 last year
- MPR in your pocket☆33Jul 11, 2022Updated 3 years ago
- [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 10 months ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆10May 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
- ☆16Apr 1, 2011Updated 14 years ago
- bmpanel - lightweight, netwm compliant, x11 panel with desktop switcher, taskbar, systray and clock☆18Mar 26, 2009Updated 16 years ago
- ☆13Mar 12, 2026Updated last week
- Rust crate for interacting with libapt-pkg☆18Jan 15, 2026Updated 2 months ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/yelp-tools☆12Nov 18, 2025Updated 4 months ago
- ☆12Jan 9, 2018Updated 8 years ago
- 💫 ANSI colors library for Lua.☆12Dec 5, 2022Updated 3 years ago
- Qt5 rsync front-end☆11Sep 14, 2017Updated 8 years ago