Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "idris" keyword

project_init 3.1.23

Quickly initialize projects from a template.
146 versions - Latest release: over 4 years ago - 90.8 thousand downloads total - 138 stars on GitHub - 1 maintainer

elba 0.3.0

elba is a package manager for Idris
8 versions - Latest release: almost 5 years ago - 4.95 thousand downloads total - 190 stars on GitHub - 1 maintainer

idr2nix 0.1.2

Generate a Nix flake from an Idris 2 package
3 versions - Latest release: 11 months ago - 749 downloads total - 1 maintainer

Related Keywords

command-line-tool 1 cookiecutter 1 elm 1 elm-lang 1 haskell 1 miso 1 mustache 1 rust 1 template-project 1 package-manager 1 nix 1