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

Package Manager for VVVV

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Work with Python distributions on Windows how it’s supposed to work.

A searchable directory of buckets for the scoop package manager for Windows

Python dependency management and packaging in Emacs

Software Manager. Build System, Build System Generator and Package Manager. C/C++ and other languages. Tools and libraries for Software Management.

Tatin is a package manager for Dyalog APL

Project evolved into Software Network: https://github.com/SoftwareNetwork/sw

Debian package manager (mirror)

A script to make it easy to install Gruntwork Modules

Nix - Static, Permissionless, Installation-free, Pre-configured

Passerine's package manager.

Unity package manager setup for Newtonsoft's JSON library

a World of Warcraft Addon Manager aimed at Linux players

Are your installed packages _really_ the same as you saw on GitHub?

Package manager for Microsoft Windows (GUI and command line utility)

Proof automation – for Agda, in Agda.

a framework for package management

Cati Unix Package Manager

zcomet - Fast, Simple Zsh Plugin Manager

Another package manager for HPC warriors.

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Dependency management built for Sass, Less, and CSS.

An easy way to install and manage server applications

Package manager for Halo Custom Edition

The missing package manager for golang binaries (its homebrew for "go install")

Package registry for vpkg

LÖVE + Luarocks

Chocolatey - the package manager for Windows

No description or website provided.

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

establish trust in community repositories, cryptographically signed by library authors

Dependency manager for Qt / C++.

a mini-package-manager for QNAP NAS

The Minecraft Mod Package Manager!

Deciding Presburger arithmetic in agda

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

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

[DEPRECATED] Golang vendor utility and package manager

Pawn package manager for SA-MP

A formalization of category theory in cubical Agda

💎 Growing collection of VS Code extensions with a fancy name

⚡ Delightful AppImage package manager

🎁 a wrapper around all package managers

Functional Reactive Programming with Agda

Git-based package manager written in POSIX shell

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

Type Theory in Type Theory using Cubical Agda

Scan npm for available package names

☘ Awesome package manager resources

Univalent mathematics in Agda

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

c++ package manager only use CMake

Purely functional build system and package manager

A TACtic library for Agda

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.