41,932 packages · page 337 of 420
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Propositional logic tools, inspired by the Coq standard library |
2016-12-02 |
1 | 6 | 0 | 0 | single | ||
van Laarhoven lenses for Idris |
2017-09-25 |
1 | 6 | 0 | 0 | single | ||
Js libraries for idris |
2018-11-27 |
1 | 7 | 0 | 0 | single | ||
Js library for Idris |
2016-03-09 |
1 | 7 | 1 | 1 | single | ||
Some useful functions for Idris |
2018-03-06 |
1 | 6 | 2 | 2 | single | ||
Parser for Idris iPkg files written in Idris using Lightyear |
2017-11-14 |
1 | 8 | 0 | 0 | single | ||
FFI Bindings to interact with the unsafe world of JavaScript |
2017-07-01 |
1 | 5 | 6 | 6 | single | ||
Semantic highlighter for Idris code |
2018-02-22 |
1 | 7 | 0 | 0 | single | ||
Recursion scheme library for Idris |
2017-11-10 |
1 | 6 | 0 | 0 | single | ||
Experimental HTTP framework for Idris |
2018-01-16 |
1 | 6 | 0 | 0 | single | ||
HTTP library for idris |
2018-02-25 |
1 | 8 | 0 | 0 | single | ||
Idris library to interact with HTML |
2017-04-23 |
1 | 8 | 1 | 1 | single | ||
Idris library for high resolution time |
2017-04-16 |
1 | 6 | 2 | 3 | single | ||
Theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features |
2018-02-03 |
1 | 5 | 2 | 2 | single | ||
Idris Hash Array Mapped Trie |
2016-11-15 |
1 | 7 | 0 | 0 | single | ||
Parser and library for graphviz dot files |
2017-01-16 |
1 | 6 | 0 | 0 | single | ||
GLFW bindings for Idris |
2016-12-05 |
1 | 8 | 0 | 0 | single | ||
Comonads for Idris |
2017-04-16 |
1 | 5 | 0 | 0 | single | ||
Free Monads and useful constructions to work with them |
2017-07-03 |
1 | 5 | 1 | 1 | single | ||
Arrowized FRP library for Idris with static safety guarantees |
2018-02-13 |
1 | 6 | 0 | 0 | single | ||
Infix pipe operators and some Nat, Float, String conversions |
2018-07-02 |
1 | 6 | 0 | 0 | single | ||
Electron bindings for Idris |
2016-03-07 |
1 | 8 | 0 | 0 | single | ||
Idris library to interact with the DOM |
2017-04-22 |
1 | 8 | 0 | 0 | single | ||
Dict k v in Idris |
2016-12-26 |
1 | 6 | 0 | 0 | single | ||
Type class deriving with elaboration reflection |
2018-07-02 |
1 | 7 | 0 | 0 | single | ||
Implementation of the Lambda Cube in Idris |
2017-07-05 |
1 | 5 | 0 | 0 | single | ||
Various data structures for use in the Idris Language |
2017-09-10 |
1 | 7 | 1 | 1 | single | ||
Idris library to interact with the browser console |
2017-04-20 |
1 | 8 | 0 | 0 | single | ||
Parsers for various configuration files written in Idris |
2017-11-06 |
1 | 9 | 0 | 0 | single | ||
Composition extras for Idris |
2017-11-12 |
1 | 6 | 1 | 1 | single | ||
Comonads for Idris |
2018-02-26 |
1 | 5 | 1 | 1 | single | ||
Some Idris libraries including nodejs bindings and ISO8601 Date and Time |
2018-01-25 |
1 | 5 | 0 | 0 | single | ||
Category Theory |
2018-07-02 |
1 | 5 | 0 | 0 | single | ||
Idris FFI binding for html5 canvas 2d api |
2017-11-09 |
1 | 5 | 0 | 0 | single | ||
FFI-based byte buffers for Idris |
2018-02-10 |
1 | 5 | 1 | 1 | single | ||
Small bifunctor library for idris |
2017-02-07 |
1 | 5 | 4 | 4 | single | ||
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq |
2018-06-25 |
1 | 7 | 1 | 1 | single | ||
Primitive flat arrays containing Idris values |
2016-10-14 |
1 | 5 | 0 | 0 | single | ||
Language Server for Idris2 |
2025-09-10 |
1 | 6 | 0 | 0 | single | ||
Idris2 Compiler API Library |
0.8.0 |
1 | 4 | 2 | 2 | single | ||
A cross-platform iDevice management tool |
0.6.2 |
1 | 35 | 0 | 0 | single | ||
Python API and CLI for the ikea IDÅSEN desk |
0.13.1 |
1 | 20 | 0 | 0 | single | ||
Freeware version of the world's smartest and most feature-full disassembler |
9.3 |
1 | 33 | 0 | 0 | single unfree | ||
Portable command-line mass tagger |
0.82 → 1.1.2 |
1 | 2 | 0 | 0 | single outdated | ||
Unicode and globalization support library |
77.1 |
1 | 3 | 6 | 3,420 | single | ||
Unicode and globalization support library |
76.1 |
1 | 3 | 1 | 1 | single | ||
Unicode and globalization support library |
75.1 |
1 | 3 | 4 | 10 | single | ||
Unicode and globalization support library |
74.2 |
1 | 3 | 2 | 15 | single | ||
Unicode and globalization support library |
73.2 |
1 | 3 | 8 | 14 | single | ||
Unicode and globalization support library |
72.1 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
71.1 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
70.1 |
1 | 3 | 1 | 1 | single | ||
Unicode and globalization support library |
67.1 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
66.1 |
1 | 3 | 2 | 2 | single | ||
Unicode and globalization support library |
64.2 |
1 | 3 | 5 | 5 | single | ||
Unicode and globalization support library |
63.1 |
1 | 3 | 2 | 2 | single | ||
Unicode and globalization support library |
60.2 |
1 | 3 | 0 | 0 | single | ||
Unicode and globalization support library |
78.3 |
1 | 3 | 554 | 24,657 | single | ||
Interactive console for the Crystal programming language |
0.9.0 |
1 | 15 | 0 | 0 | single | ||
Gnome icon pack based upon Faenza |
4.15 |
1 | 5 | 0 | 0 | single | ||
Icon pack based upon Faenza and Mint-X |
1.25 |
1 | 4 | 0 | 0 | single | ||
Tools for icon conversion specific to nix package manager |
0.0.0 |
1 | 3 | 7 | 7 | single | ||
Utility for generating icon themes and libxcursor cursor themes |
0.3 |
1 | 5 | 1 | 1 | single | ||
Symbolic icons for your apps |
0.0.22 → 0.0.23 |
1 | 14 | 0 | 0 | single outdated | ||
Very high level general-purpose programming language |
9.5.25a |
1 | 5 | 1 | 1 | single | ||
Icomoon feather font |
0-unstable-2024-05-11 |
1 | 2 | 0 | 0 | single | ||
Extract icons from Windows PE files |
0.3.0 |
1 | 17 | 2 | 2 | single | ||
Convert PNGs to .icns |
0.1.1 |
1 | 5 | 0 | 0 | single | ||
Program maintenance (make) utility using a C-like grammar |
9.03.01 → 13.07.00 |
1 | 5 | 4 | 938 | single outdated | ||
Permanent memory system for AI agents with MCP integration |
0.10.63 |
1 | 11 | 0 | 0 | single | ||
iCloud Photos Downloader |
1.32.3 |
1 | 39 | 0 | 0 | single | ||
Third party dependencies for Icingaweb 2 |
0.13.1 |
1 | 2 | 0 | 0 | single | ||
PHP library package for Icingaweb 2 |
0.17.0 |
1 | 2 | 0 | 0 | single | ||
Webinterface for Icinga 2 |
2.12.6 → 2.14.0 |
1 | 4 | 0 | 0 | single outdated | ||
Open source monitoring system |
2.16.3 |
1 | 13 | 0 | 0 | single | ||
Open source monitoring system |
2.16.3 → 2.16.5 |
1 | 15 | 0 | 0 | single outdated | ||
iCESugar FPGA flash utility |
1.1b |
1 | 7 | 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 | ||
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 | ||
Icecream GUI Monitor |
3.3-unstable-2025-05-15 → 3.4 |
1 | 13 | 0 | 0 | single outdated | ||
Distributed compiler with a central scheduler to share build load |
1.4 |
1 | 10 | 1 | 1 | single | ||
Server software for streaming multimedia |
2.5.0 |
1 | 13 | 0 | 0 | single | ||
Improved colorized diff |
2.0.10 |
1 | 19 | 0 | 0 | single | ||
Converting ICAL file into org-mode format |
0.5 |
1 | 25 | 0 | 0 | single | ||
Hierarchical Deterministic Key Derivation for the Internet Computer |
1.6.2 |
1 | 3 | 0 | 0 | single | ||
Generate the IBus GTK or GNOME Shell theme from existing themes |
4.2.0 |
1 | 18 | 0 | 0 | single | ||
Input method (ibus) for entering unicode symbols and emoji by name |
0.7.0 |
1 | 5 | 0 | 0 | single | ||
IBus framework for table-based input methods |
1.17.19 → 1.18.0 |
1 | 10 | 2 | 2 | single outdated | ||
Rime input method engine for IBus |
1.6.1 |
1 | 9 | 0 | 0 | single | ||
PinYin engine for IBus (deprecated, new users should switch to ibus-engines.libpinyin) |
1.5.1 |
1 | 13 | 0 | 0 | single | ||
Japanese input method from Google |
2.30.5544.102 → 3.34.6239 |
1 | 10 | 0 | 0 | single outdated | ||
Japanese input method from Google |
2.30.5544.102 → 3.34.6239 |
1 | 10 | 0 | 0 | single outdated | ||
IBus interface to the libpinyin input method |
1.16.5 → 1.16.6 |
1 | 17 | 0 | 0 | single outdated | ||
Chewing engine for IBus |
2.2.0 |
1 | 10 | 0 | 0 | single | ||
Apple's ibtool reimplementation |
1.2.1 |
1 | 17 | 0 | 0 | single | ||
Command line client for IBM Cloud |
2.46.0 → 2.48.0 |
1 | 4 | 0 | 0 | single outdated | ||
Minimalistic, blazing-fast, and extendable prompt for bash and zsh |
0.5.0 |
1 | 8 | 0 | 0 | single | ||
Tool for detecting the structure of many types of CD/DVD images |
0.1.7 |
1 | 2 | 0 | 0 | single | ||
Desktop utility that helps preventing repetitive strain injuries by keeping track of usage patterns and periodically informing the user to take breaks |
2.1.3 |
1 | 7 | 0 | 0 | single | ||
Cli tool for importing and exporting AWS IAM configuration to YAML files |
2.4.0 |
1 | 3 | 0 | 0 | single |