Senior software engineer on @Ansible Automation Platform at Red Hat • Lead of @dagd • Ham radio, functional programming and type theory.
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.
Python - Released: 06 Mar 2012 - 59,536
AWX provides a web-based user interface, REST API, and task engine built on top of Ansible. It is one of the upstream projects for Red Hat Ansible Automation Platform.
Python - Released: 17 May 2017 - 13,503
Tooling for building various things related to ansible
Python - Released: 01 Apr 2020 - 59
Changelog generator for ansible, ansible-base, and collections.
Python - Released: 29 May 2020 - 32
Self-service user portal for open-source communities to use over FreeIPA.
Python - Released: 06 Jan 2020 - 101
The `ansible-sign` utility for signing and verifying Ansible project directory contents.
Python - Released: 03 Aug 2022 - 11
Distribution specific containers for Ansible integration testing.
Dockerfile - Released: 16 Aug 2018 - 27
Container used by ansible-test for distribution independent tests.
Python - Released: 30 Aug 2018 - 11
Container used by ansible-core for distribution independent tests.
Python - Released: 01 Jun 2020 - 5
An OpenShift Quickstart template for Facebook's Phabricator.
Shell - Released: 27 Jul 2012 - 17
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Coq - Released: 07 Jun 2016 - 13
Implementation of the Spritz RC4-like stream cipher in Haskell
Haskell - Released: 14 Nov 2014 - 4
Various experiments with purely functional I/O in Java using free monads (and trampolines).
Java - Released: 25 Mar 2014 - 7
A set of parsing combinators for various bioinformatics sequencing formats using the `parsers` library.
Haskell - Released: 28 Nov 2014 - 4
A Haskell library for working with the DigitalOcean API. Probably horrible.
Haskell - Released: 19 Aug 2013 - 6
A social popularity contest that wasn't intended to be a popularity contest.
Haskell - Released: 27 Jun 2014 - 5
A small Haskell program to apply GitHub gitignores (https://github.com/github/gitignore) to existing repos.
Haskell - Released: 02 Dec 2013 - 3