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/dotfiles
My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow
yurrriq/exercism
My solutions to exercism.io
yurrriq/abstract-algebra-pinter
:book: Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
yurrriq/advent-of-code
Semi-literate polyglot solutions to Advent of Code problems.
yurrriq/ComiCal
Track the publish dates of your favorite comics
yurrriq/effective-haskell
Working though 'Effective Haskell' by Rebecca Skinner
yurrriq/blorg
C-c C-e P p >>=
yurrriq/Rockin-With-LilyPond
A book about engraving rock band scores with LilyPond.
yurrriq/soggetto-cavato
Carve music from words.
yurrriq/brain
Brain dump
yurrriq/cilium
API Aware Networking and Security using BPF and XDP
yurrriq/devenv
Fast, Declarative, Reproducible, and Composable Developer Environments
yurrriq/ebpf-playground
eBPF playground
yurrriq/epbf-playground
eBPF playground
yurrriq/eunix
Rewriting UNIX tools for my own edification
yurrriq/external-dns
Configure external DNS servers (AWS Route53, Google CloudDNS and others) for Kubernetes Ingresses and Services
yurrriq/free-algebras
Free Algebras in Haskell
yurrriq/gridly
yurrriq/helm-unittest
BDD styled unit test framework for Kubernetes Helm charts as a Helm plugin.
yurrriq/julia
Exercism exercises in Julia.
yurrriq/kops
Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management
yurrriq/nixpkgs
Nix Packages collection
yurrriq/oll-core
Library Infrastructure for LilyPond add-ons
yurrriq/reading-list
yurrriq/register
Grab your own sweet-looking '.is-a.dev' subdomain
yurrriq/rustlings
Small exercises to get you used to reading and writing Rust code
yurrriq/sd4f
Reading "Software Design for Flexibility: How to Avoid Programming Yourself into a Corner" by Chris Hanson and Gerald Jay Sussman
yurrriq/sysdiglabs-charts
The official source for Sysdig’s Helm charts
yurrriq/xclojure
Exercism Exercises in Clojure
yurrriq/yurrriq