🦚
Freelance Protocol Correctness R&D | formal verification, fuzzing, simulation, security+PL advice
-
blltprf.xyz
- Vienna, Austria
- blltprf.xyz
- in/thpani
- @thpani.bsky.social
- @audithare
Get started with GitHub Packages
Safely publish packages, store your packages alongside your code, and share your packages privately with your team.
Choose a registry
Apache Maven
A default package manager used for the Java programming language and the Java runtime environment.
Learn moreNuGet
A free and open source package manager used for the Microsoft development platforms including .NET.
Learn moreRubyGems
A standard format for distributing Ruby programs and libraries used for the Ruby programming language.
Learn morenpm
A package manager for JavaScript, included with Node.js. npm makes it easy for developers to share and reuse code.
Learn moreContainers
A single place for your team to manage Docker images and decide who can see and access your images.
Learn more