Name: Eric Bailey
Type: User
Company: @sportradar
Bio: Highly functional yak stylist, {HoT,PL}T enthusiast, {Erlang,Lisp}er, Kubernaut, MaMuTh meddler, Nix user, (comics) reader, linguaphile, musician, philomath, &c
Location: Minneapolis, MN
Blog: https://blorg.ericb.me
Eric Bailey's Projects
GraphQL for Elixir
:book: Abstract Algebra in GAP
:book: Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
Verification Framework for Actor Systems on Coq
Semi-literate polyglot solutions to Advent of Code problems.
My Idris (and Haskell) solutions to the 2016 Advent of Code.
My LFE solutions to the Advent of Code problems.
Porting of software foundations book to Agda
A major mode for the Alpaca language.
Bootstrapping ghc into alpine linux
A git-crypt package for Alpine Linux
The open source version of the Amazon EKS user guide. You can submit feedback & requests for changes by submitting issues in this repo or by making proposed changes & submitting a pull request.
open source Kubernetes-native API gateway for microservices built on the Envoy Proxy
Anansi is a preprocessor for literate programs, in the model of Noweb or nuweb.
Identify Latinate words with Anglo-Saxon alternatives
Tox client for iOS
Advent of Code 2018
A simple APL interpreter written in Scala
Various interesting articles, in PDF or PS form
self(auto)- documenting encoders and decoders
A Kubernetes Daemonset to gracefully handle EC2 instance shutdown
Azul Board Game, in Prolog.
Static blog generator in Idris.
Ur/Web part of BazQux Reader sources
Helm Charts
HTTP unique ID generation service