ikan
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
build tool and package manager for idris,in idris,with free monads
34 stars
6 watching
3 forks
Language: Idris
last commit: about 6 years ago
Linked from 1 awesome list
free-monadsidrispackage-manager
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jakeheis/ice | A developer-friendly package manager for Swift that provides additional features and improvements over the official Swift Package Manager | 386 |
 madjar/nox | A tool to simplify Nix package management and search. | 313 |
 kitsunyan/pakku | A tool for managing and building packages from official repositories and the AUR with a focus on simplicity and user interface. | 132 |
 lodosgroup/lpm | An experimental package manager for operating systems that aims to simplify the process of managing software packages on Linux-based systems. | 67 |
 nim-lang/nimble | A package manager for the Nim programming language | 1,265 |
 fosskers/aura | A package manager for Arch Linux and the AUR that supports multiple languages and offers additional features beyond Pacman. | 1,776 |
 h3rald/nifty | Manages decentralized packages and scripts on multiple platforms using Nim. | 44 |
 jrmarino/synth | A tool for building and managing custom package repositories in a Linux-based operating system. | 254 |
 18fadly-anthony/rookie | A package manager inspired by Nix, allowing users to easily manage and install software packages. | 3 |
 alire-project/alire | A tool and library for managing and building Ada projects with package management and dependency resolution | 295 |
 greyelaina/mina | A tool for managing and building packages in a monorepo using pdm-backend | 23 |
 nektro/zigmod | A tool for managing packages for the Zig programming language. | 782 |
 max-mapper/maintenance-modules | A collection of utility tools to streamline package management and development processes. | 352 |
 nmattia/niv | Makes it easy to manage dependencies in Nix projects by simplifying package management and version control. | 1,632 |
 basherpm/basher | A package manager for shell scripts and functions that simplifies installation and management of binary packages. | 1,166 |