yurrriq
Highly functional yak stylist, {HoT,PL}T enthusiast, {Erlang,Lisp}er, Kubernaut, MaMuTh meddler, Nix user, (comics) reader, linguaphile, musician, philomath, &c
@sportradarMinneapolis, MN
Pinned Repositories
Idris2-Erlang
Erlang code generator for Idris 2
elli
Simple, robust and performant Erlang web server
software-foundations
Software Foundations in Idris
Idris-dev
A Dependently Typed Functional Programming Language
nixpkgs
Nix Packages collection & NixOS
dotfiles
My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow
exercism
My solutions to exercism.io
idris-logic
Propositional logic tools, inspired by the Coq standard library.
parser-combinators
Nils Anders Danielsson's Total Parser Combinators (mirror)
yurrriq's Repositories
yurrriq/rust-in-action
:book: In which I read "Rust in Action" by Tim McNamara via MEAP
yurrriq/friendly-intro-to-group-theory
Working through the exercises in "A Friendly Introduction to Group Theory"
yurrriq/nix-puppeteer
Nix-based Docker image with Puppeteer
yurrriq/blues-in-f
yurrriq/deliveryhero-helm-charts
Helm Charts ⛵ @ Delivery Hero ⭐
yurrriq/intro-to-graph-theory
:book: Working through "Introduction to Graph Theory" by Richard J. Trudeau
yurrriq/aws-node-termination-handler
A Kubernetes Daemonset to gracefully handle EC2 instance shutdown
yurrriq/bitnami-charts
Helm Charts
yurrriq/check-it
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
yurrriq/cli-experimental
Experimental Kubectl libraries and commands.
yurrriq/dinamo
Dynamic Generator
yurrriq/eks-charts
Amazon EKS Helm chart repository
yurrriq/envtpl
Render Go templates on the command line with shell environment variables
yurrriq/fantastic-broccoli
yurrriq/helm
The Kubernetes Package Manager
yurrriq/home-manager
Manage a user environment using Nix [maintainer=@rycee]
yurrriq/idris-linear
yurrriq/Idris2-Erlang
Erlang code generator for Idris 2
yurrriq/kuberhealthy
A Kubernetes operator for running synthetic checks as pods. Works great with Prometheus!
yurrriq/kuberl
Erlang Kubernetes client
yurrriq/logging-operator
Logging operator for Kubernetes based on Fluentd and Fluentbit
yurrriq/nur-packages
Formerly my personal NUR repository. I just use the flake at https://github.com/yurrriq/dotfiles now.
yurrriq/prometheus-community-helm-charts
Prometheus community Helm charts
yurrriq/rebar3_hex
Rebar3 Hex library
yurrriq/rhythm_lib
yurrriq/rubato-composer
Rubato Composer is a music software based on the concepts and models of mathematical music theory.
yurrriq/sharnt
yurrriq/SuperSandro2000
yurrriq/swagger-codegen
swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition.
yurrriq/toml-elixir
An implementation of TOML for Elixir projects, compliant with the latest specification