Python library to query APT repositories
☆14Aug 6, 2024Updated 2 years ago
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 9 months ago
- Test runner for py.test test framework with web GUI☆15Nov 24, 2018Updated 7 years ago
- ☆11Apr 7, 2025Updated last year
- ☆18Mar 14, 2026Updated 5 months ago
- Firefox add-on for arranging tabs vertically☆21Jun 23, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- AST export from Lean 4☆17Jul 25, 2024Updated 2 years ago
- ☆14May 19, 2019Updated 7 years ago
- Semantic SSH RSA keys☆26Feb 25, 2014Updated 12 years ago
- ☆15Aug 5, 2026Updated 3 weeks ago
- Documentation☆19Updated this week
- ROS interfaces for the ZED ROS Wrapper☆15Jan 22, 2026Updated 7 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- a ssh to websocket bridge☆23Dec 11, 2024Updated last year
- ☆10Dec 11, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Derive for arrow-rs, ported from arrow2-convert☆23Jul 4, 2026Updated last month
- Tool to analyse the import structure of lean projects.☆25Aug 21, 2026Updated last week
- Script to monitor wheather an OpenStack cloud is working correctly☆18Updated this week
- ☆22Sep 1, 2025Updated 11 months ago
- Gridfinity Generator for Onshape☆16Jun 17, 2026Updated 2 months ago
- LZ👌 – MIT licensed C++ implementation of LZO compression/decompression algorithm☆34Oct 22, 2023Updated 2 years ago
- APT repository for prebuilt MPR packages☆15May 10, 2023Updated 3 years ago
- A tool for partial comparison of (nested) data structures☆18Apr 13, 2026Updated 4 months ago
- ☆12Jan 9, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MPR in your pocket☆33Jul 11, 2022Updated 4 years ago
- Example of Generating RSA Keys☆36Mar 6, 2019Updated 7 years ago
- [UR 2023] Robust Route Planning with Distributional Reinforcement Learning in a Stochastic Road Network Environment☆22Jun 19, 2024Updated 2 years ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆11May 28, 2023Updated 3 years ago
- Local Privilege Escalation Miner☆32Apr 11, 2022Updated 4 years ago
- Tetяis JS☆16Feb 12, 2026Updated 6 months ago
- 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 last year
- Entrypoint to wave harvesting buoy☆30Updated this week
- 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.
- ☆12Updated this week
- Jsonnet language support for the Atom text editor☆26May 28, 2023Updated 3 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 5 months ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/yelp-tools☆12Nov 18, 2025Updated 9 months ago
- A pure-Go implementation of fakeroot using Linux user namespaces.☆19Oct 24, 2023Updated 2 years ago
- 💫 ANSI colors library for Lua.☆12Dec 5, 2022Updated 3 years ago
- Qt5 rsync front-end☆11Sep 14, 2017Updated 8 years ago