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.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ansible-prometheus

Deploy Prometheus monitoring system

Language:PythonLicense:MITStargazers:0Issues:2Issues:0
Language:ShellStargazers:0Issues:0Issues:0

core-plans

Core Habitat Plan definitions

Language:ShellStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

elastisch

A minimalistic Clojure client for ElasticSearch, supports both HTTP and native transports

Language:ClojureStargazers:0Issues:0Issues:0

fipp

Fast Idiomatic Pretty Printer for Clojure

Language:ClojureStargazers:0Issues:1Issues:0

guile-ssh

Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.

Language:SchemeLicense:GPL-3.0Stargazers:0Issues:0Issues:0

homebrew-adr-tools

Homebrew tap for adr-tools

Language:RubyStargazers:0Issues:0Issues:0

homebrew-emacsmacport

Emacs mac port formulae for the Homebrew package manager

Language:RubyStargazers:0Issues:0Issues:0

homebrew-lean

homebrew tap for Lean theorem prover

Language:RubyStargazers:0Issues:0Issues:0

install

:inbox_tray: Homebrew (un)installer

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:TeXLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mac-dev-playbook

Mac setup and configuration via Ansible.

License:NOASSERTIONStargazers:0Issues:0Issues:0

mal

mal - Make a Lisp

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:0Issues:0

nixos-org-configurations

NixOS configurations for nixos.org and its servers

Language:NixStargazers:0Issues:0Issues:0

nixpkgs-channels

Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels

Language:NixLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:TeXLicense:Apache-2.0Stargazers:0Issues:0Issues:0

prometheus-rpm

Prometheus RPM Packages

Language:MakefileLicense:Apache-2.0Stargazers:0Issues:0Issues:0

salt

Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

salt-contrib

Salt Module Contributions

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

salt-get-started

Content source files for the SaltStack Get Started Guide.

Stargazers:0Issues:0Issues:0

slf4j-timbre-1

SLF4J binding for Clojure's Timbre

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:0Issues:0

spandex

Elasticsearch client for Clojure (built on new ES 5.x java client)

Language:ClojureStargazers:0Issues:1Issues:0

sqlium

A flexible, Datomic-inspired, config-driven Extraction system (big E in ETL)

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:0Issues:0

terraform-provider-rabbitmq

Terraform RabbitMQ provider

Language:GoLicense:MPL-2.0Stargazers:0Issues:0Issues:0

theorem_proving_in_lean

Theorem proving in Lean

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:ClojureStargazers:0Issues:0Issues:0

website

Kubernetes website and documentation repo:

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0