Pinned Repositories
AFP
Tracks http://hg.code.sf.net/p/afp/code with git-hg
Archery
Think Lincoln Logs. But, you know, with math & programming.
clj-logging-config
Easy logging configuration for Clojure.
clojure-toolbox.com
Source to clojure-toolbox.com
cmdtheline
Command line option parsing by Applicative Functors.
diagrams-doc
Documentation for the diagrams project
isabelle
Tracks http://isabelle.in.tum.de/repos/isabelle/ with git-hg
lein-marginalia
A Marginalia plugin to Leiningen
marginalia
ultra-lightweight literate programming for clojure inspired by docco
Josh-Tilles's Repositories
Josh-Tilles/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.
Josh-Tilles/ansible-prometheus
Deploy Prometheus monitoring system
Josh-Tilles/brew-install
Josh-Tilles/core-plans
Core Habitat Plan definitions
Josh-Tilles/custom-xkb-demo
Josh-Tilles/elastisch
A minimalistic Clojure client for ElasticSearch, supports both HTTP and native transports
Josh-Tilles/fipp
Fast Idiomatic Pretty Printer for Clojure
Josh-Tilles/guile-ssh
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Josh-Tilles/homebrew-adr-tools
Homebrew tap for adr-tools
Josh-Tilles/homebrew-emacsmacport
Emacs mac port formulae for the Homebrew package manager
Josh-Tilles/homebrew-lean
homebrew tap for Lean theorem prover
Josh-Tilles/install
:inbox_tray: Homebrew (un)installer
Josh-Tilles/introduction_to_lean
Josh-Tilles/mac-dev-playbook
Mac setup and configuration via Ansible.
Josh-Tilles/mal
mal - Make a Lisp
Josh-Tilles/nix
Nix, the purely functional package manager
Josh-Tilles/nixos-org-configurations
NixOS configurations for nixos.org and its servers
Josh-Tilles/nixpkgs-channels
Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels
Josh-Tilles/programming_in_lean
Josh-Tilles/prometheus-rpm
Prometheus RPM Packages
Josh-Tilles/salt
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:
Josh-Tilles/salt-contrib
Salt Module Contributions
Josh-Tilles/salt-get-started
Content source files for the SaltStack Get Started Guide.
Josh-Tilles/slf4j-timbre-1
SLF4J binding for Clojure's Timbre
Josh-Tilles/spandex
Elasticsearch client for Clojure (built on new ES 5.x java client)
Josh-Tilles/sqlium
A flexible, Datomic-inspired, config-driven Extraction system (big E in ETL)
Josh-Tilles/terraform-provider-rabbitmq
Terraform RabbitMQ provider
Josh-Tilles/theorem_proving_in_lean
Theorem proving in Lean
Josh-Tilles/tools.deps.alpha
Josh-Tilles/website
Kubernetes website and documentation repo: