24,029 packages · page 207 of 241
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Various coreboot-related tools |
26.06 → 26.09 |
2 | 15 | 0 | 0 | maintained outdated | ||
Build native mobile applications using HTML, CSS and JavaScript |
13.0.0 |
1 | 7 | 0 | 0 | single | ||
Coq proof assistant |
8.9.1 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.8.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.7.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.20.1 → 9.2.0 |
4 | 5 | 1 | 8 | maintained outdated | ||
Coq proof assistant |
8.19.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.18.0 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.17.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.16.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.15.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.14.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.13.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.12.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.11.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.10.2 |
4 | 9 | 0 | 0 | maintained | ||
HTML documentation generator for Coq source files |
1.4 |
2 | 3 | 2 | 5 | maintained | ||
1.6.0 |
0 | 4 | 0 | 0 | unmaintained | |||
Automate copyright headers and license files at scale |
0.25.3 |
1 | 5 | 0 | 0 | single | ||
Updates the copyright information in a set of files |
2025.0404 |
1 | 3 | 0 | 0 | single | ||
Clipboard Manager with Advanced Features |
16.0.0 → 17.0.0 |
1 | 23 | 0 | 0 | single outdated | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - most variant |
1.20.26 |
1 | 32 | 0 | 0 | single | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - minimal variant |
1.20.26 |
1 | 18 | 0 | 0 | single | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - full variant |
1.20.26 |
1 | 33 | 0 | 0 | single | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp |
1.20.26 |
1 | 27 | 0 | 0 | single | ||
Command-line and programmatic Go code generator that generates custom type-based code |
0.4.1 |
1 | 3 | 0 | 0 | single | ||
Utility to copy project tree contents to clipboard |
004 |
1 | 5 | 0 | 0 | single | ||
Tool for transforming and moving code between repositories |
20261012 |
1 | 10 | 0 | 0 | single | ||
Low level control GUI for the PipeWire multimedia server |
1.7.1 |
1 | 14 | 0 | 0 | single | ||
Copilot Node.js server |
1.41.0 |
1 | 7 | 0 | 0 | single unfree | ||
Use GitHub Copilot with any editor or IDE via the Language Server Protocol |
1.552.0 → 1.554.0 |
2 | 6 | 2 | 6 | maintained unfree outdated | ||
Library and command-line utility for rendering projects templates |
9.17.1 → 9.19.1 |
2 | 35 | 0 | 0 | maintained outdated | ||
Colourful wrapper for terminal programs |
0-unstable-2025-06-20 → 0.3 |
1 | 12 | 0 | 0 | single outdated | ||
Tool for directly patching vulnerabilities in container images |
0.14.2 → 0.15.0 |
1 | 7 | 0 | 0 | single outdated | ||
Tiny boost library in C++11 |
3.0.2 |
1 | 5 | 0 | 0 | single | ||
Schrodinger-developed 2D Coordinate Generation |
3.0.2 |
1 | 6 | 4 | 123 | single | ||
Contemporary sans serif, with characters composed of modified-geometric curves and arches |
1.000-unstable-2014-06-09 |
1 | 3 | 0 | 0 | single | ||
Cooper* a revival of the Cooper font family by indestructible type* |
1.01-unstable-2025-05-25 |
1 | 3 | 0 | 0 | single | ||
Cross platform open source e-book reader |
3.2.59 |
0 | 9 | 0 | 0 | unmaintained | ||
Terminal emulator which mimics the old cathode display |
1.2.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Command-line utility that creates projects from project templates |
2.7.1 |
1 | 30 | 0 | 0 | single | ||
Wordlist generator, splitter, merger, finder, saver for security researchers, bug bounty and hackers |
2.2.1 |
1 | 3 | 0 | 0 | single | ||
Suite of tools to create shopping lists and maintain recipes |
0.38.1 |
3 | 9 | 0 | 0 | maintained | ||
IRCv3 FILEHOST extension adapter to external file upload services |
0.1.1 |
1 | 5 | 0 | 0 | single | ||
IRC browser client |
8.05 |
1 | 29 | 0 | 0 | single | ||
Converts filenames from one encoding to another |
2.06 |
1 | 7 | 0 | 0 | single | ||
Image palette quantization |
10.3 |
0 | 2 | 0 | 0 | unmaintained broken | ||
Converts font for use with FontLibC |
1.2 |
0 | 2 | 0 | 0 | unmaintained | ||
Mail client for GNOME 3 |
50.2-1 |
5 | 43 | 0 | 0 | team-only | ||
Self-hosted online file converter |
0.19.0 |
1 | 23 | 0 | 0 | single | ||
Tool for converting Microsoft Reader ebooks to more open formats |
1.8 |
0 | 3 | 0 | 0 | unmaintained | ||
Graphical unit converter |
1.0.3 |
1 | 11 | 0 | 0 | single | ||
Batch image converter and resizer |
0.15.2.8 → 0.15.2.9 |
0 | 8 | 0 | 0 | unmaintained outdated | ||
Converged Security Suite for Intel & AMD platform security features |
2.8.2 |
1 | 3 | 0 | 0 | single | ||
Generate a CHANGELOG from git metadata |
8.1.3 |
0 | 7 | 0 | 0 | unmaintained | ||
Conventional commit cli |
0.6.3 → 0.7.2 |
2 | 8 | 0 | 0 | maintained outdated | ||
Bitmap generation from a single example with convolutions and MCMC |
0.0pre20160901 |
1 | 3 | 0 | 0 | single | ||
Converts files to other formats |
5.1 |
0 | 2 | 0 | 0 | unmaintained | ||
Control Roku devices from the comfort of your own desktop |
1.1.0 |
1 | 22 | 0 | 0 | single | ||
Checks whether the contrast between two colors meet the WCAG requirements |
0.0.11 |
1 | 15 | 0 | 0 | single | ||
Modern C++ Terminal Emulator |
0.7.0.8982 |
1 | 24 | 0 | 0 | single | ||
MCP Server for up-to-date code documentation for LLMs and AI code editors |
4.2.0 → 4.4.2 |
1 | 8 | 0 | 0 | single outdated | ||
Context window optimization MCP server for AI coding agents |
1.0.143 |
1 | 5 | 0 | 0 | single unfree | ||
Declarative, reproducible, and reusable decentralized approach for defining containers |
0.4.1 |
1 | 6 | 0 | 0 | single | ||
Container-based networking lab |
0.78.2 → 0.81.1 |
1 | 5 | 0 | 0 | single outdated | ||
Daemon to control runC |
2.4.1 → 2.4.2 |
2 | 6 | 2 | 2 | maintained outdated | ||
Container to WASM converter |
0.8.4 |
0 | 3 | 0 | 0 | unmaintained | ||
Framework to validate the structure of a container image |
1.22.1 |
1 | 4 | 0 | 0 | single | ||
Console UI for Meshtastic |
1.7.1 |
1 | 16 | 0 | 0 | single | ||
Generic template rendering and notifications with Consul |
0.43.0 |
1 | 3 | 0 | 0 | single | ||
Highly available daemon for sending notifications and reminders based on Consul health checks |
0.6.0 |
1 | 3 | 0 | 0 | single | ||
Tool for service discovery, monitoring and configuration |
2.0.4 |
3 | 3 | 0 | 0 | maintained unfree | ||
Masses and springs simulation game |
0.2.3 |
0 | 5 | 0 | 0 | unmaintained | ||
Masses and springs simulation game |
0.2.3 |
0 | 8 | 0 | 0 | unmaintained | ||
Fork of SIL Gentium designed specifically to support constructed scripts as encoded in the Under-ConScript Unicode Registry |
2026-04-12 |
2 | 3 | 0 | 0 | maintained | ||
Abstraction over x86 NASM Assembly |
0.1.0 |
1 | 2 | 0 | 0 | single | ||
Compresses your videos to your chosen file size |
26.2 → 26.10 |
3 | 25 | 0 | 0 | team-only outdated | ||
Linux text console viewer |
1.17 |
1 | 5 | 0 | 0 | single | ||
Console font and keymap setup program |
1.242 → 1.249 |
1 | 7 | 0 | 0 | single outdated | ||
ROS-independent package for logging that seamlessly pipes into rosconsole/rosout for ROS-dependent packages |
1.0.2 |
1 | 4 | 4 | 25 | single | ||
Application that allows multiple users to watch a serial console at the same time |
8.2.7 → 8.3.0 |
1 | 5 | 0 | 0 | single outdated | ||
Robust portable backup tool in Rust |
24.8.0 |
1 | 5 | 0 | 0 | single | ||
Continuous password spraying tool |
0.1.2 |
1 | 18 | 0 | 0 | single | ||
Connection tracking userspace tools |
1.4.9 |
1 | 13 | 6 | 6 | single | ||
Dmenu wrapper for connmann |
0-unstable-2015-09-29 |
1 | 4 | 0 | 0 | single | ||
Daemon for managing internet connections |
1.43 → 2.0 |
0 | 11 | 0 | 0 | unmaintained outdated | ||
Daemon for managing internet connections |
1.43 → 2.0 |
0 | 17 | 0 | 0 | unmaintained outdated | ||
Desktop notification integration for connman |
2019-10-05 |
1 | 15 | 0 | 0 | single | ||
Daemon for managing internet connections |
1.43 → 2.0 |
0 | 17 | 2 | 2 | unmaintained outdated | ||
Visualization and discovery tool used to map neuroimaging data |
2.1.0 → 2.2.1 |
1 | 8 | 0 | 0 | single outdated | ||
Interact with a Connect Box 3 modem/router |
0.2.1 |
1 | 22 | 0 | 0 | single | ||
Make network connection via SOCKS and https proxy |
1.105 → 1.106 |
1 | 2 | 0 | 0 | single outdated | ||
OCI container runtime monitor written in Rust |
1.0.1 |
2 | 7 | 0 | 0 | team-only | ||
OCI container runtime monitor |
2.2.1 |
2 | 8 | 4 | 6 | team-only | ||
The Console Manager |
0.3.1 |
1 | 7 | 0 | 0 | single | ||
Advanced, highly configurable system monitor based on torsmo |
1.25.3 → 1.25.4 |
1 | 32 | 0 | 0 | single outdated | ||
Tool to scan Confluence for keywords |
1.1.0 |
1 | 23 | 0 | 0 | single | ||
Refraction networking system that routes traffic to endpoints in an ISP's unused IP address space |
0-unstable-2026-01-13 |
1 | 3 | 1 | 2 | single | ||
Magically transform your images |
0.1.2 |
1 | 23 | 0 | 0 | single | ||
More command-line utilities for working with MINC files |
1.6.80-unstable-2023-01-19 |
1 | 12 | 0 | 0 | single |