303 Open source projects that are alternatives of or similar to agda-pkg

LÖVE + Luarocks

Carbon is a package manager for Kubernetes. It allows to operate with your application along with Kubernetes manifests as a holistic package.

Chocolatey - the package manager for Windows

Language Server for Agda

No description or website provided.

Package management library.

The last package manager macOS will ever need. Simple, functional, and fast.

An AUR-inspired package manager for Ubuntu

establish trust in community repositories, cryptographically signed by library authors

High-Performance configuration patterns and recipes.

Dependency manager for Qt / C++.

Library packaging and distribution for Ruby.

a mini-package-manager for QNAP NAS

A project-local library installer for Common Lisp

The Minecraft Mod Package Manager!

🍺🐧 The Homebrew package manager for Linux

Deciding Presburger arithmetic in agda

📦 WebAssembly Package Manager (CLI)

Accessing Agda's interaction mode via command line & external tactic for Agda.

A package manager for PureScript based on package sets

Bored from installing tiny shell scripts and .dotfiles manually? Huh! Missing Shell Package Manager For Linux

A simple, decentralized dependency manager for Cocoa

[DEPRECATED] Golang vendor utility and package manager

Set up your GitHub Actions workflow with conda via miniconda

Pawn package manager for SA-MP

Go dependency management tool experiment (deprecated)

A formalization of category theory in cubical Agda

An alternative decentralized package manager for Elm

💎 Growing collection of VS Code extensions with a fancy name

Modern applications with built-in automation

⚡ Delightful AppImage package manager

A modern project, package, and virtual env manager for Python

🎁 a wrapper around all package managers

A C++ tool for a new decade

Functional Reactive Programming with Agda

Dependency Manager for Delphi

Git-based package manager written in POSIX shell

Fortran Package Manager (fpm)

Capstan, a tool for packaging and running your application on OSv.

💡 Use the right package manager

Type Theory in Type Theory using Cubical Agda

A package manager for Idris

Scan npm for available package names

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

☘ Awesome package manager resources

⚡️ Super-powered JavaScript project management

Univalent mathematics in Agda

Raku / Perl6 Module Management

slapt-get is an APT like system for Slackware package management.

🗂️ A cross-platform C/C++ package manager based on Xmake

c++ package manager only use CMake

Enhances Composer Satis with webhook integrations to GitHub and GitLab

Purely functional build system and package manager

Package registry for vpkg

Get the current package's binary path

A cross-platform package manager.

A single-file command-line package manager for Windows.

InterSystems ObjectScript Package Manager

🚀 A Lightweight NPM Private Active Management Service.We don't design a scheme to synchronize to local caching. We only focus on building private active CRUDs that are compatible with NPM public package downloads.

🔨 Dependency Manager for Vala 🚧 App under development!