41,885 packages · page 85 of 419
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Code for Software Foundations in Idris |
2017-11-04 |
1 | 6 | 0 | 0 | single | ||
Simple TAP producer and consumer/reporter for Idris |
2017-04-08 |
1 | 6 | 0 | 0 | single | ||
Testing Utilities for Idris programs |
2017-03-30 |
1 | 6 | 2 | 2 | single | ||
Port of Haskell tf-random |
2020-01-15 |
1 | 5 | 0 | 0 | single | ||
Idris parser and serializer/deserealizer for TL language |
2017-13-26 |
1 | 8 | 0 | 0 | single | ||
Strongly Typed Paths for Idris |
2017-08-15 |
1 | 5 | 0 | 0 | single | ||
TParsec - Total Parser Combinators in Idris |
2020-02-11 |
1 | 6 | 0 | 0 | single | ||
Composable algorithmic transformation |
2017-07-28 |
1 | 5 | 0 | 0 | single | ||
Trees in Idris |
2018-03-19 |
1 | 7 | 0 | 0 | single | ||
UnionType in Idris |
2018-01-30 |
1 | 5 | 0 | 0 | single | ||
Virtual DOM in pure Idris |
0.6.0 |
1 | 5 | 0 | 0 | single | ||
Abstract vector spaces in Idris |
2018-01-12 |
1 | 6 | 0 | 0 | single | ||
Idris library to interact with WebGL |
2017-05-08 |
1 | 6 | 2 | 3 | single | ||
Little web server written in Idris |
2017-06-26 |
1 | 7 | 0 | 0 | single | ||
Idris library to interact with xhr |
2017-04-22 |
1 | 6 | 1 | 1 | single | ||
Idris YAML lib |
2018-01-25 |
1 | 7 | 0 | 0 | single | ||
Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
2016-07-05 |
1 | 6 | 0 | 0 | single | ||
Manipulating CPC dsk images and files |
0.20 |
1 | 3 | 0 | 0 | single | ||
Text searching utility |
4.6 |
1 | 12 | 0 | 0 | single | ||
Command-line interface for accessing IETF documents and other information |
1.29 |
1 | 11 | 0 | 0 | single | ||
PC/SC IFD Handler based on libnfc |
2016-03-01 |
1 | 6 | 0 | 0 | single | ||
PC/SC IFD Handler based on linux_libnfc-nci |
0.2.1 |
1 | 6 | 0 | 0 | single | ||
Generate "if err != nil {" block |
0-unstable-2024-01-22 |
1 | 3 | 1 | 1 | single | ||
Improved File Manager, a single-file web-based filemanager |
4.1.1 |
1 | 2 | 0 | 0 | single | ||
Tool for setting IP interface metrics |
0.3 |
1 | 3 | 0 | 0 | single | ||
Rust utility to extract UEFI IFR data into human-readable text |
1.5.1 → 1.6.1 |
1 | 5 | 0 | 0 | single outdated | ||
Report network interfaces bandwidth just like vmstat/iostat do for other system counters - legacy version |
1.1 → 1.1.1 |
1 | 4 | 0 | 0 | single outdated | ||
Manage host interface settings in a declarative manner |
2.4.2 → 2.5.0 |
1 | 21 | 0 | 0 | single outdated | ||
Next-generation network interface configuration tool |
unstable-2025-09-12 → 0.13.0 |
1 | 6 | 0 | 0 | single outdated | ||
Video game ROM collection manager to help filter, sort, patch, archive, and report on collections on any OS |
5.7.0 |
1 | 15 | 0 | 0 | single | ||
Daemon that routes multicast using IGMP forwarding |
0.4 |
1 | 3 | 0 | 0 | single | ||
All-in-one platform to build, launch, and maintain any crypto application on a sovereign and secured blockchain |
28.11.0 → 29.10.1 |
1 | 5 | 0 | 0 | single outdated | ||
Manage startup apps and scripts |
2.4.1 → 2.27.0 |
1 | 14 | 0 | 0 | single outdated | ||
Ignominous Profiler |
6.0.0 |
1 | 6 | 0 | 0 | single | ||
C library for complex network analysis and graph theory |
0.10.17 |
1 | 18 | 1 | 1 | single | ||
Interactive Grep |
1.3.0 |
1 | 5 | 0 | 0 | single | ||
Intel graphics system controller firmware update library |
1.3.2 |
1 | 5 | 0 | 0 | single | ||
Project generator for the IHP (Integrated Haskell Platform) web framework |
1.3.0 |
1 | 4 | 0 | 0 | single | ||
Listens to iio-sensor-proxy and automatically changes Hyprland output orientation |
0-unstable-2026-02-26 |
1 | 7 | 0 | 0 | single | ||
Listen to iio-sensor-proxy and updates Niri output orientation depending on the accelerometer orientation |
2.3.2 |
1 | 8 | 0 | 0 | single | ||
GTK+ based oscilloscope application for interfacing with various IIO devices |
0.18 |
1 | 15 | 0 | 0 | single | ||
Proxy for sending IIO sensor data to D-Bus |
3.9 |
1 | 13 | 1 | 1 | single | ||
Tool to discover, fingerprint and test IPsec VPN servers |
1.9.5-unstable-2024-09-15 |
1 | 4 | 0 | 0 | single | ||
Scanner for IKE |
0.2.0 |
1 | 7 | 0 | 0 | single | ||
Interactively kill running processes |
1.6.0 |
1 | 5 | 0 | 0 | single | ||
Wiki compiler, storing pages and history in a RCS |
3.20200202.3 → 3.20260201 |
1 | 27 | 0 | 0 | single outdated | ||
Wiki compiler, storing pages and history in a RCS |
3.20200202.3 → 3.20260201 |
1 | 35 | 0 | 0 | single outdated | ||
Daemon that wires button presses to screen backlight level |
0.5 |
1 | 7 | 0 | 0 | single | ||
Ambient Light Sensor Daemon for Linux |
1.0.2 |
1 | 5 | 0 | 0 | single | ||
User friendly sideloader |
2.3.3 → 2.3.6 |
1 | 15 | 0 | 0 | single outdated | ||
Utility to manage digital signatures of the Linux kernel integrity subsystem (IMA/EVM) |
1.6.2 |
1 | 10 | 1 | 1 | single | ||
Suite of tools for emulating optical drives and discs |
3.3.1 |
1 | 22 | 0 | 0 | single | ||
Optimize images using multiple utilities |
0.31.4 |
1 | 3 | 0 | 0 | single | ||
Image processing and analysis in Java |
153 |
1 | 8 | 0 | 0 | single | ||
Interferometric imaging package |
4.5-01 → 202603 |
1 | 12 | 0 | 0 | single outdated | ||
Fast, simple, scalable, Docker-ready HTTP microservice for high-level image processing |
1.2.4 |
1 | 5 | 0 | 0 | single | ||
Lightweight and simple DVD slide show maker |
3.6 |
1 | 12 | 0 | 0 | single | ||
Accessible image processing and conversion from the terminal |
0.24.0 |
1 | 8 | 0 | 0 | single | ||
Duplicate email message remover |
1.5 |
1 | 15 | 0 | 0 | single | ||
Mail filtering utility |
2.8.5 |
1 | 6 | 0 | 0 | single | ||
C++ and python library of 2D and 3D vector, matrix, and math operations for computer graphics |
3.2.3 |
1 | 3 | 35 | 4,014 | single | ||
Tool to migrate workloads to IMDSv2 |
1.0.0 |
1 | 19 | 0 | 0 | single | ||
FOSS program for converting IME dictionaries |
3.3.0 → 3.6.0 |
1 | 23 | 0 | 0 | single outdated | ||
Library and tool for parsing, manipulating, and patching Apple .img4 container files |
0-unstable-2021-11-28 |
1 | 5 | 0 | 0 | single unfree | ||
Socket daemon to multiplex connections from and to iOS devices |
218 |
1 | 8 | 0 | 0 | single | ||
It's like cat, but for images |
2.6.0 |
1 | 4 | 0 | 0 | single | ||
Image encryption library and command line tool |
2.0.3 |
1 | 3 | 0 | 0 | single | ||
High-performance CLI batch image resizer & rotator |
3.0 |
1 | 18 | 0 | 0 | single | ||
Store application configuration files in Docker/OCI registries |
0.48.3 |
1 | 3 | 0 | 0 | single | ||
Fast and secure on-the-fly image processing server written in Go |
3.31.3 → 4.0.17 |
1 | 6 | 0 | 0 | single outdated | ||
Bloat-free Graphical User interface for C++ with minimal dependencies |
1.91.4 → 1.92.9b |
1 | 5 | 6 | 6 | single outdated | ||
Full featured file dialog for Dear ImGui |
0.6.8 |
1 | 4 | 0 | 0 | single | ||
Algorithms for computing exact solutions to dense systems of linear equations over the integers |
1.0.5 |
1 | 5 | 0 | 0 | single | ||
Xinerama Aware Background Changer |
1.2 |
1 | 5 | 0 | 0 | single | ||
Postmodern immutable and persistent data structures for C++ — value semantics at scale |
0.9.1 |
1 | 3 | 5 | 6 | single | ||
Self-hosted photo and video backup solution (command line interface) |
3.3.1 |
1 | 8 | 0 | 0 | single | ||
Share your Immich photos and albums in a safe way without exposing your Immich instance to the public |
3.4.0 → 3.4.1 |
1 | 7 | 0 | 0 | single outdated | ||
Display your photos from Immich as a digital photo frame |
1.0.37.0 |
1 | 25 | 0 | 0 | single | ||
Immutable database based on zero trust, SQL and Key-Value, tamperproof, data change history |
1.11.2 |
1 | 4 | 0 | 0 | single unfree | ||
Small, dependency-free node editor for dear imgui |
0.5-unstable-2025-06-25 |
1 | 4 | 0 | 0 | single | ||
Generate method stubs for implementing an interface |
1.5.0 |
1 | 3 | 1 | 1 | single | ||
Immediate Mode Plotting |
0.17 → 1.0 |
1 | 4 | 0 | 0 | single outdated | ||
Imports OpenStreetMap data into PostGIS |
0.14.2 |
1 | 5 | 0 | 0 | single | ||
Configure Wifi credentials on IOT devices using Improv serial protocol |
1.1.0 |
1 | 5 | 0 | 0 | single | ||
Simple library for loading/saving images and animations, written in C |
0.2 |
1 | 9 | 1 | 1 | single | ||
Free I2C, MicroWire and SPI EEPROM/Flash chip programmer tool for CH341A device |
1.9.1 |
1 | 14 | 0 | 0 | single | ||
Mouse wheel configuration tool for XFree86/Xorg |
1.0.0pre12 |
1 | 8 | 0 | 0 | single | ||
IUPAC International Chemical Identifier library |
1.0.6 → 1.07.5 |
1 | 3 | 0 | 0 | single outdated | ||
Analyze #includes in C/C++ source files with clang |
0.26 → 0.27 |
1 | 7 | 1 | 1 | single outdated | ||
Fork of Inconsolata font, with proper support of Cyrillic and Greek |
1.3 |
1 | 3 | 0 | 0 | single | ||
Cron-like daemon which handles filesystem events |
0.5.12 |
1 | 3 | 0 | 0 | single | ||
CLI tool for managing isolated Incus development environments |
0.2.15 |
1 | 5 | 0 | 0 | single | ||
Source code reformatter |
2.2.13 |
1 | 4 | 1 | 1 | single | ||
Python library for parallel decompression and seeking within compressed bzip2 files |
1.6.0 |
1 | 16 | 0 | 0 | single | ||
Indicator to take menus from applications and place them in the panel |
12.10.1 |
1 | 12 | 0 | 0 | single | ||
Sound input/output selector indicator for Linux |
2.3.10.1 |
1 | 26 | 0 | 0 | single | ||
Graph database written in rust |
3.0.0-unstable-2021-01-05 |
1 | 7 | 0 | 0 | single broken | ||
Graph database written in rust |
3.0.0-unstable-2021-01-05 |
1 | 7 | 0 | 0 | single broken | ||
This program generates synthesized percussion sounds using physical modelling |
0.2.7 |
1 | 15 | 0 | 0 | single | ||
Collection of open-source LV2 plugins |
0.3.2 |
1 | 12 | 0 | 0 | single |