Hide content and notifications from this user.
Contact Support about this user's behavior.
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:
Nix Packages collection
Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels
A CLI workflow for the administration of Mac applications distributed as binaries
🍻 Core formulae for the Homebrew package manager
homebrew tap for Lean theorem prover
Salt Module Contributions
NixOS configurations for nixos.org and its servers
A minimalistic Clojure client for ElasticSearch, supports both HTTP and native transports
Theorem proving in Lean
Emacs mac port formulae for the Homebrew package manager
Alternate versions of casks
Homebrew tap for adr-tools
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
😈 Devel-only Formulae for Homebrew
🍺 The missing package manager for macOS
Metrics reporter, which reports to elasticsearch
🎸 GUI applications for the Homebrew package manager
🐃 Emacs formulae for the Homebrew package manager
Simple, flexible, all-Clojure logging. No XML!
A manipulable, pluggable, memoization framework for Clojure
Install gems as homebrew formulas
Documentation site for Elastisch
The missing package manager for OS X.
Collection of documents for testing activity streams parsers