ikan
build tool and package manager for idris,in idris,with free monads
AI summary
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
- stars
- 34
- forks
- 3
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
jakeheis/ice386
Package manager
A developer-friendly package manager for Swift that provides additional features and improvements over the official Swift Package Manager
madjar/nox313
Package manager
A tool to simplify Nix package management and search.
Package manager
A tool for managing and building packages from official repositories and the AUR with a focus on simplicity and user interface.
Package manager
An experimental package manager for operating systems that aims to simplify the process of managing software packages on Linux-based systems.
nim-lang/nimble1.3K
Package manager
A package manager for the Nim programming language
fosskers/aura1.8K
Package manager
A package manager for Arch Linux and the AUR that supports multiple languages and offers additional features beyond Pacman.
Package manager
Manages decentralized packages and scripts on multiple platforms using Nim.
Package manager
A tool for building and managing custom package repositories in a Linux-based operating system.
package manager
A package manager inspired by Nix, allowing users to easily manage and install software packages.
Package manager
A tool and library for managing and building Ada projects with package management and dependency resolution
Package manager
A tool for managing and building packages in a monorepo using pdm-backend
Package manager
A tool for managing packages for the Zig programming language.
package managers
A collection of utility tools to streamline package management and development processes.
nmattia/niv1.6K
Package manager
Makes it easy to manage dependencies in Nix projects by simplifying package management and version control.
basherpm/basher1.2K
Package manager
A package manager for shell scripts and functions that simplifies installation and management of binary packages.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ikan.
