Josh Tilles's repositories
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
ansible-prometheus
Deploy Prometheus monitoring system
core-plans
Core Habitat Plan definitions
elastisch
A minimalistic Clojure client for ElasticSearch, supports both HTTP and native transports
guile-ssh
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
homebrew-adr-tools
Homebrew tap for adr-tools
homebrew-emacsmacport
Emacs mac port formulae for the Homebrew package manager
homebrew-lean
homebrew tap for Lean theorem prover
install
:inbox_tray: Homebrew (un)installer
mac-dev-playbook
Mac setup and configuration via Ansible.
mal
mal - Make a Lisp
nix
Nix, the purely functional package manager
nixos-org-configurations
NixOS configurations for nixos.org and its servers
nixpkgs-channels
Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels
prometheus-rpm
Prometheus RPM Packages
salt
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:
salt-contrib
Salt Module Contributions
salt-get-started
Content source files for the SaltStack Get Started Guide.
slf4j-timbre-1
SLF4J binding for Clojure's Timbre
sqlium
A flexible, Datomic-inspired, config-driven Extraction system (big E in ETL)
terraform-provider-rabbitmq
Terraform RabbitMQ provider
theorem_proving_in_lean
Theorem proving in Lean
website
Kubernetes website and documentation repo: