41,885 packages · page 84 of 419
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Improved colorized diff |
2.0.10 |
1 | 19 | 0 | 0 | single | ||
Server software for streaming multimedia |
2.5.0 |
1 | 13 | 0 | 0 | single | ||
Distributed compiler with a central scheduler to share build load |
1.4 |
1 | 10 | 1 | 1 | single | ||
Icecream GUI Monitor |
3.3-unstable-2025-05-15 → 3.4 |
1 | 13 | 0 | 0 | single outdated | ||
Simple tool to allow storage of signed, encrypted, incremental backups using Amazon's Glacier storage |
0-unstable-2025-06-29 |
1 | 13 | 0 | 0 | single | ||
GPU-accelerated procedural modeler and slicer for 3D printing |
2.4.1 → 2.4.4 |
1 | 18 | 0 | 0 | single unfree outdated | ||
iCESugar FPGA flash utility |
1.1b |
1 | 7 | 0 | 0 | single | ||
Open source monitoring system |
2.16.3 → 2.16.5 |
1 | 15 | 0 | 0 | single outdated | ||
Open source monitoring system |
2.16.3 |
1 | 13 | 0 | 0 | single | ||
Webinterface for Icinga 2 |
2.12.6 → 2.14.0 |
1 | 4 | 0 | 0 | single outdated | ||
PHP library package for Icingaweb 2 |
0.17.0 |
1 | 2 | 0 | 0 | single | ||
Third party dependencies for Icingaweb 2 |
0.13.1 |
1 | 2 | 0 | 0 | single | ||
iCloud Photos Downloader |
1.32.3 |
1 | 39 | 0 | 0 | single | ||
Permanent memory system for AI agents with MCP integration |
0.10.63 |
1 | 11 | 0 | 0 | single | ||
Program maintenance (make) utility using a C-like grammar |
9.03.01 → 13.07.00 |
1 | 5 | 4 | 79 | single outdated | ||
Convert PNGs to .icns |
0.1.1 |
1 | 5 | 0 | 0 | single | ||
Extract icons from Windows PE files |
0.3.0 |
1 | 17 | 2 | 2 | single | ||
Icomoon feather font |
0-unstable-2024-05-11 |
1 | 2 | 0 | 0 | single | ||
Very high level general-purpose programming language |
9.5.25a |
1 | 5 | 1 | 1 | single | ||
Symbolic icons for your apps |
0.0.22 → 0.0.23 |
1 | 14 | 0 | 0 | single outdated | ||
Utility for generating icon themes and libxcursor cursor themes |
0.3 |
1 | 5 | 1 | 1 | single | ||
Tools for icon conversion specific to nix package manager |
0.0.0 |
1 | 3 | 7 | 7 | single | ||
Icon pack based upon Faenza and Mint-X |
1.25 |
1 | 4 | 0 | 0 | single | ||
Gnome icon pack based upon Faenza |
4.15 |
1 | 5 | 0 | 0 | single | ||
Interactive console for the Crystal programming language |
0.9.0 |
1 | 15 | 0 | 0 | single | ||
Unicode and globalization support library |
78.3 |
1 | 3 | 553 | 26,410 | single | ||
Unicode and globalization support library |
60.2 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
63.1 |
1 | 3 | 2 | 2 | single | ||
Unicode and globalization support library |
64.2 |
1 | 3 | 4 | 4 | single | ||
Unicode and globalization support library |
66.1 |
1 | 3 | 2 | 2 | single | ||
Unicode and globalization support library |
67.1 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
70.1 |
1 | 3 | 1 | 1 | single | ||
Unicode and globalization support library |
71.1 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
72.1 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
73.2 |
1 | 3 | 7 | 13 | single | ||
Unicode and globalization support library |
74.2 |
1 | 3 | 2 | 15 | single | ||
Unicode and globalization support library |
75.1 |
1 | 3 | 4 | 10 | single | ||
Unicode and globalization support library |
76.1 |
1 | 3 | 1 | 1 | single | ||
Unicode and globalization support library |
77.1 |
1 | 3 | 6 | 2,596 | single | ||
Portable command-line mass tagger |
0.82 → 1.1.2 |
1 | 2 | 0 | 0 | single outdated | ||
Freeware version of the world's smartest and most feature-full disassembler |
9.3 |
1 | 33 | 0 | 0 | single unfree | ||
Python API and CLI for the ikea IDÅSEN desk |
0.13.1 |
1 | 20 | 0 | 0 | single | ||
Raise3D's 3D slicer software |
5.2.2.8570 → 5.3.2.8640 |
1 | 19 | 0 | 0 | single unfree outdated | ||
A cross-platform iDevice management tool |
0.6.2 |
1 | 35 | 0 | 0 | single | ||
Idris2 Compiler API Library |
0.8.0 |
1 | 4 | 2 | 2 | single | ||
Language Server for Idris2 |
2025-09-10 |
1 | 6 | 0 | 0 | single | ||
Primitive flat arrays containing Idris values |
2016-10-14 |
1 | 5 | 0 | 0 | single | ||
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq |
2018-06-25 |
1 | 7 | 1 | 1 | single | ||
Small bifunctor library for idris |
2017-02-07 |
1 | 5 | 4 | 4 | single | ||
FFI-based byte buffers for Idris |
2018-02-10 |
1 | 5 | 1 | 1 | single | ||
Idris FFI binding for html5 canvas 2d api |
2017-11-09 |
1 | 5 | 0 | 0 | single | ||
Category Theory |
2018-07-02 |
1 | 5 | 0 | 0 | single | ||
Some Idris libraries including nodejs bindings and ISO8601 Date and Time |
2018-01-25 |
1 | 5 | 0 | 0 | single | ||
Comonads for Idris |
2018-02-26 |
1 | 5 | 1 | 1 | single | ||
Composition extras for Idris |
2017-11-12 |
1 | 6 | 1 | 1 | single | ||
Parsers for various configuration files written in Idris |
2017-11-06 |
1 | 9 | 0 | 0 | single | ||
Idris library to interact with the browser console |
2017-04-20 |
1 | 8 | 0 | 0 | single | ||
Various data structures for use in the Idris Language |
2017-09-10 |
1 | 7 | 1 | 1 | single | ||
Implementation of the Lambda Cube in Idris |
2017-07-05 |
1 | 5 | 0 | 0 | single | ||
Type class deriving with elaboration reflection |
2018-07-02 |
1 | 7 | 0 | 0 | single | ||
Dict k v in Idris |
2016-12-26 |
1 | 6 | 0 | 0 | single | ||
Idris library to interact with the DOM |
2017-04-22 |
1 | 8 | 0 | 0 | single | ||
Electron bindings for Idris |
2016-03-07 |
1 | 8 | 0 | 0 | single | ||
Infix pipe operators and some Nat, Float, String conversions |
2018-07-02 |
1 | 6 | 0 | 0 | single | ||
Arrowized FRP library for Idris with static safety guarantees |
2018-02-13 |
1 | 6 | 0 | 0 | single | ||
Free Monads and useful constructions to work with them |
2017-07-03 |
1 | 5 | 1 | 1 | single | ||
Comonads for Idris |
2017-04-16 |
1 | 5 | 0 | 0 | single | ||
GLFW bindings for Idris |
2016-12-05 |
1 | 8 | 0 | 0 | single | ||
Parser and library for graphviz dot files |
2017-01-16 |
1 | 6 | 0 | 0 | single | ||
Idris Hash Array Mapped Trie |
2016-11-15 |
1 | 7 | 0 | 0 | single | ||
Theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features |
2018-02-03 |
1 | 5 | 2 | 2 | single | ||
Idris library for high resolution time |
2017-04-16 |
1 | 6 | 2 | 3 | single | ||
Idris library to interact with HTML |
2017-04-23 |
1 | 8 | 1 | 1 | single | ||
HTTP library for idris |
2018-02-25 |
1 | 8 | 0 | 0 | single | ||
Experimental HTTP framework for Idris |
2018-01-16 |
1 | 6 | 0 | 0 | single | ||
Recursion scheme library for Idris |
2017-11-10 |
1 | 6 | 0 | 0 | single | ||
Semantic highlighter for Idris code |
2018-02-22 |
1 | 7 | 0 | 0 | single | ||
FFI Bindings to interact with the unsafe world of JavaScript |
2017-07-01 |
1 | 5 | 6 | 6 | single | ||
Parser for Idris iPkg files written in Idris using Lightyear |
2017-11-14 |
1 | 8 | 0 | 0 | single | ||
Some useful functions for Idris |
2018-03-06 |
1 | 6 | 2 | 2 | single | ||
Js library for Idris |
2016-03-09 |
1 | 7 | 1 | 1 | single | ||
Js libraries for idris |
2018-11-27 |
1 | 7 | 0 | 0 | single | ||
van Laarhoven lenses for Idris |
2017-09-25 |
1 | 6 | 0 | 0 | single | ||
Propositional logic tools, inspired by the Coq standard library |
2016-12-02 |
1 | 6 | 0 | 0 | single | ||
Idris mapping library |
2018-02-27 |
1 | 5 | 0 | 0 | single | ||
Binding of the GNU libmicrohttpd library to the Idris C backend |
2016-04-22 |
1 | 8 | 0 | 0 | single | ||
Proof that Idris is pacman complete |
2017-11-10 |
1 | 7 | 0 | 0 | single | ||
Immutable map from integer keys to values based on patricia tree. Basically persistent array |
2017-10-27 |
1 | 6 | 1 | 1 | single | ||
Type-safe way of working with permutations in Idris |
2018-01-19 |
1 | 5 | 0 | 0 | single | ||
Purely functional data structures in Idris |
2017-09-25 |
1 | 6 | 0 | 0 | single | ||
Composable and effectful production, transformation and consumption of streams of data |
2017-12-02 |
1 | 5 | 0 | 0 | single | ||
System POSIX bindings for Idris |
2017-11-18 |
1 | 5 | 0 | 0 | single | ||
Type-safe physical computations and unit conversions in Idris |
2018-04-17 |
1 | 5 | 0 | 0 | single | ||
Idris rational number type built from paths in the Stern Brocot tree |
2017-04-29 |
1 | 6 | 0 | 0 | single | ||
Recursion schemes for Idris |
2018-01-19 |
1 | 10 | 0 | 0 | single | ||
Port of Scala/Haskell Refined library to Idris |
2017-12-28 |
1 | 5 | 0 | 0 | single | ||
Semidirect products in Idris |
2018-07-02 |
1 | 7 | 0 | 0 | single | ||
Idris proofs for extensional equalities |
2018-06-18 |
1 | 6 | 0 | 0 | single | ||
Well-typed symmetric-monoidal category of concurrent processes |
2018-02-08 |
1 | 6 | 0 | 0 | single | ||
Collection of Idris snippets |
2018-03-17 |
1 | 6 | 0 | 0 | single |