41,855 packages · page 24 of 419
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
CLI to manage your time |
0.1.2 |
1 | 6 | 0 | 0 | single | ||
Tools to capture DNS traffic and record it in C-DNS files |
1.2.3 |
1 | 23 | 0 | 0 | single | ||
Tool for detecting similarity in code supporting over 300 languages |
1.2.13 |
1 | 26 | 0 | 0 | single | ||
Stylesheet Authoring Environment that makes your website design simpler to implement and easier to maintain |
1.0.3 |
1 | 5 | 0 | 0 | single | ||
Command line tool to manipulate compilation databases |
0.2.0 |
1 | 15 | 0 | 0 | single | ||
Tool for generating Clang's JSON Compilation Database files |
0.10.7 |
1 | 20 | 0 | 0 | single | ||
Automagical shell alias completion |
1.18.0 |
1 | 2 | 0 | 0 | single | ||
Generate bash completion scripts using a simple configuration file |
0.7.1 |
1 | 2 | 0 | 0 | single | ||
Generate {bash,fish,zsh} completions from a single EBNF-like grammar |
0.11.0 |
1 | 5 | 0 | 0 | single | ||
Generate a NixOS config from a Docker Compose project |
0.3.4 |
1 | 3 | 0 | 0 | single | ||
File system for mounting container images |
1.0.8 |
1 | 13 | 2 | 3 | single | ||
CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies |
4.24.0 |
1 | 5 | 0 | 0 | single | ||
Compress PPTX files |
1.3.3 |
1 | 18 | 0 | 0 | single | ||
Find compression type/ratio on a file or set of files in the Btrfs filesystem |
1.5-unstable-2023-12-24 |
1 | 3 | 0 | 0 | single | ||
Serverless peer-to-peer terminal sharing with tmate-like semantics |
0.2.2 |
1 | 11 | 0 | 0 | single | ||
CommonMark-compatible GitHub Flavored Markdown parser and formatter |
0.56.0 |
1 | 5 | 0 | 0 | single | ||
Understand File Permissions |
0.3.0 → 1.0.0 |
1 | 13 | 0 | 0 | single outdated | ||
Discord API wrapper library made in C |
2.3.0 → 2.6.1 |
1 | 3 | 0 | 0 | single outdated | ||
Run commands concurrently |
9.2.1 → 10.0.6 |
1 | 7 | 0 | 0 | single outdated | ||
Package manager for Python |
26.7.1-1 |
1 | 4 | 0 | 0 | single | ||
Simplified Data Exchange for HPC Simulations |
0.9.9 |
1 | 3 | 0 | 0 | single | ||
Manage local application configuration files using templates and data from etcd or consul |
0.16-unstable-2023-12-09 → 0.30.0 |
1 | 3 | 0 | 0 | single outdated | ||
Simple key-value store designed to be used from shell scripts written in Rust |
1.0.0 |
1 | 5 | 0 | 0 | single | ||
Honeypot for the Atlassian Confluence OGNL injection vulnerability |
1.0.0 |
1 | 3 | 0 | 0 | single | ||
Conferences schedule viewer |
0.9.0 → 0.9.1 |
1 | 12 | 0 | 0 | single outdated | ||
config manager tui for linux/unix systems |
3.1.1 |
1 | 5 | 0 | 0 | single | ||
More command-line utilities for working with MINC files |
1.6.80-unstable-2023-01-19 |
1 | 12 | 0 | 0 | single | ||
Magically transform your images |
0.1.2 |
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 | ||
Tool to scan Confluence for keywords |
1.1.0 |
1 | 23 | 0 | 0 | single | ||
Advanced, highly configurable system monitor based on torsmo |
1.22.3 → 1.25.3 |
1 | 31 | 0 | 0 | single outdated | ||
The Console Manager |
0.3.1 |
1 | 7 | 0 | 0 | single | ||
Make network connection via SOCKS and https proxy |
1.105 → 1.106 |
1 | 2 | 0 | 0 | single outdated | ||
Interact with a Connect Box 3 modem/router |
0.2.1 |
1 | 22 | 0 | 0 | single | ||
Visualization and discovery tool used to map neuroimaging data |
2.1.0 → 2.2.1 |
1 | 8 | 0 | 0 | single outdated | ||
Desktop notification integration for connman |
2019-10-05 |
1 | 15 | 0 | 0 | single | ||
Dmenu wrapper for connmann |
0-unstable-2015-09-29 |
1 | 4 | 0 | 0 | single | ||
Connection tracking userspace tools |
1.4.9 |
1 | 13 | 6 | 6 | single | ||
Continuous password spraying tool |
0.1.2 |
1 | 18 | 0 | 0 | single | ||
Robust portable backup tool in Rust |
24.8.0 |
1 | 5 | 0 | 0 | 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 | ||
ROS-independent package for logging that seamlessly pipes into rosconsole/rosout for ROS-dependent packages |
1.0.2 |
1 | 4 | 4 | 25 | single | ||
Console font and keymap setup program |
1.242 → 1.249 |
1 | 7 | 0 | 0 | single outdated | ||
Linux text console viewer |
1.17 |
1 | 5 | 0 | 0 | single | ||
Abstraction over x86 NASM Assembly |
0.1.0 |
1 | 2 | 0 | 0 | single | ||
Highly available daemon for sending notifications and reminders based on Consul health checks |
0.6.0 |
1 | 3 | 0 | 0 | single | ||
Generic template rendering and notifications with Consul |
0.43.0 |
1 | 3 | 0 | 0 | single | ||
Console UI for Meshtastic |
1.7.1 |
1 | 16 | 0 | 0 | single | ||
Framework to validate the structure of a container image |
1.22.1 |
1 | 4 | 0 | 0 | single | ||
Container-based networking lab |
0.78.2 → 0.80.0 |
1 | 5 | 0 | 0 | single outdated | ||
Declarative, reproducible, and reusable decentralized approach for defining containers |
0.4.1 |
1 | 6 | 0 | 0 | single | ||
Context window optimization MCP server for AI coding agents |
1.0.143 |
1 | 5 | 0 | 0 | single unfree | ||
MCP Server for up-to-date code documentation for LLMs and AI code editors |
4.2.0 |
1 | 8 | 0 | 0 | single | ||
Modern C++ Terminal Emulator |
0.7.0.8982 |
1 | 24 | 0 | 0 | single | ||
Checks whether the contrast between two colors meet the WCAG requirements |
0.0.11 |
1 | 15 | 0 | 0 | single | ||
Control Roku devices from the comfort of your own desktop |
1.1.0 |
1 | 22 | 0 | 0 | single | ||
Bitmap generation from a single example with convolutions and MCMC |
0.0pre20160901 |
1 | 3 | 0 | 0 | single | ||
Converged Security Suite for Intel & AMD platform security features |
2.8.2 |
1 | 3 | 0 | 0 | single | ||
Graphical unit converter |
1.0.3 |
1 | 11 | 0 | 0 | single | ||
Self-hosted online file converter |
0.19.0 |
1 | 23 | 0 | 0 | single | ||
Converts filenames from one encoding to another |
2.06 |
1 | 7 | 0 | 0 | single | ||
IRC browser client |
8.05 |
1 | 29 | 0 | 0 | single | ||
IRCv3 FILEHOST extension adapter to external file upload services |
0.1.1 |
1 | 5 | 0 | 0 | single | ||
Wordlist generator, splitter, merger, finder, saver for security researchers, bug bounty and hackers |
2.2.1 |
1 | 3 | 0 | 0 | single | ||
Command-line utility that creates projects from project templates |
2.6.0 → 2.7.1 |
1 | 30 | 0 | 0 | single outdated | ||
Cooper* a revival of the Cooper font family by indestructible type* |
1.01-unstable-2025-05-25 |
1 | 3 | 0 | 0 | single | ||
Contemporary sans serif, with characters composed of modified-geometric curves and arches |
1.000-unstable-2014-06-09 |
1 | 3 | 0 | 0 | single | ||
Schrodinger-developed 2D Coordinate Generation |
3.0.2 |
1 | 6 | 4 | 123 | single | ||
Tiny boost library in C++11 |
3.0.2 |
1 | 5 | 0 | 0 | single | ||
Tool for directly patching vulnerabilities in container images |
0.14.2 → 0.15.0 |
1 | 7 | 0 | 0 | single outdated | ||
Colourful wrapper for terminal programs |
0-unstable-2025-06-20 → 0.3 |
1 | 12 | 0 | 0 | single outdated | ||
Copilot Node.js server |
1.41.0 |
1 | 7 | 0 | 0 | single unfree | ||
Low level control GUI for the PipeWire multimedia server |
1.7.1 |
1 | 14 | 0 | 0 | single | ||
Tool for transforming and moving code between repositories |
20260928 |
1 | 10 | 0 | 0 | single | ||
Utility to copy project tree contents to clipboard |
004 |
1 | 5 | 0 | 0 | single | ||
Command-line and programmatic Go code generator that generates custom type-based code |
0.4.1 |
1 | 3 | 0 | 0 | single | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp |
1.20.24 → 1.20.25 |
1 | 27 | 0 | 0 | single outdated | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - full variant |
1.20.24 |
1 | 33 | 0 | 0 | single | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - minimal variant |
1.20.24 |
1 | 18 | 0 | 0 | single | ||
turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - most variant |
1.20.24 |
1 | 32 | 0 | 0 | single | ||
Clipboard Manager with Advanced Features |
16.0.0 → 17.0.0 |
1 | 23 | 0 | 0 | single outdated | ||
Updates the copyright information in a set of files |
2025.0404 |
1 | 3 | 0 | 0 | single | ||
Automate copyright headers and license files at scale |
0.25.3 |
1 | 5 | 0 | 0 | single | ||
CakeML backend for Peregrine |
0.1.0 |
1 | 7 | 0 | 0 | single | ||
A framework for smart contract verification in Rocq |
1.0.1 |
1 | 9 | 0 | 0 | single | ||
Library for Representing Recursive and Impure Programs in Coq |
5.2.1 |
1 | 6 | 2 | 2 | single | ||
Support library for verified Coq parsers produced by Menhir |
20260203 |
1 | 5 | 2 | 5 | single | ||
Ordinal Numbers in Coq |
0.5.6 |
1 | 5 | 0 | 0 | single | ||
Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
2.1.1 |
1 | 8 | 1 | 1 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 1 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 6 | 2 | 5 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 3 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 8 | 1 | 2 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 3 | single | ||
Coq plugin providing tactics for rewriting universally quantified equations |
9.0.0 |
1 | 5 | 1 | 1 | single | ||
Library for serialization to S-expressions |
0.4.1 |
1 | 6 | 1 | 2 | single | ||
Library for serialization via S-expressions using bytestrings. Alternative to coq-ceres which uses String from standard library. |
1.0.0 |
1 | 7 | 2 | 2 | single | ||
Rocq plugin embedding ELPI |
3.5.0 |
1 | 5 | 2 | 46 | single | ||
General-purpose automated reasoning hammer tool for Coq |
1.3.3+9.1 |
1 | 5 | 0 | 0 | single | ||
Reconstruction tactics for the hammer for Coq |
1.3.3+9.1 |
1 | 5 | 1 | 1 | single |