12 projects
Meet us in Atlanta for KubeCon + CloudNativeCon North America · Nov 10-13 REGISTER TODAY
Julia General Registry
The Julia General Registry is the official central package registry for the Julia programming language ecosystem. It contains metadata for registered Julia packages, enabling package management, dependency resolution, and distribution across the Julia community.
Contributors
2,819
Organizations
805
Software value
$29M
Coq
Coq is a formal proof management system and dependently typed programming language that enables mathematical theorem proving, formal specification and verification of programs, and formalized mathematics. It provides a rich environment for interactive development of machine-checked proofs.
Contributors
754
Organizations
118
Software value
$15M
aqua-registry
A registry and package manager for CLI tools that enables declarative installation and version management of various command-line applications and development tools
Contributors
381
Organizations
147
Software value
$6.6M
NuGet Gallery
NuGet Gallery is a package repository that powers https://www.nuget.org. Use this repo for reporting NuGet.org issues.
This project hasn't been onboarded to LFX Insights.
Packagist
Package Repository Website - try https://packagist.com if you need your own -
This project hasn't been onboarded to LFX Insights.
Pub Package Manager
The pub command line tool
This project hasn't been onboarded to LFX Insights.
Supermarket
Chef's community platform
This project hasn't been onboarded to LFX Insights.
SwiftPackageIndex-ServerPlatform
The Swift Package Index is the place to find Swift packages!
This project hasn't been onboarded to LFX Insights.
Warehouse
The Python Package Index
This project hasn't been onboarded to LFX Insights.