Stars
Browse starred repositories and topics
Sort: Recently active
Starred Repositories
-
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
-
Collection of image builders [maintainer=@Lassulus]
-
Nix Packages collection & NixOS
-
The seL4 microkernel
-
Pulumi - Infrastructure as Code in any programming language. Build infrastructure intuitively on any cloud using familiar languages 🚀
-
The Ethereum Improvement Proposal repository
-
CockroachDB - the open source, cloud-native distributed SQL database.
-
Loomio is a collaborative decision making tool
-
An operating function
-
GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com
Starred Topics
-
#
Programming language
A formal language that specifies a set of instructions that can be used to produce various kinds of output.
Last starredMay 8, 2024 -
Nix
Nix, the purely functional package manager.
Last starredMay 7, 2024 -
#
papers
Last starredApr 30, 2024