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/knrc
:book: In which I work through exercises in "The C Programming Language" by Brian W. Kernighan and Dennis M. Ritchie
yurrriq/noweb-minted
A simple filter for pretty printing noweb code chunks using the minted LaTeX package
yurrriq/blues-in-f
yurrriq/clippings
Parser for Kindle clippings.
yurrriq/gleam-playground
yurrriq/go-web-programming
Working through Go Web Programming by Sau Sheong Chang
yurrriq/helm-migrate
Migrate Helm releases between namespaces
yurrriq/argo-helm
yurrriq/cert-manager
Automatically provision and manage TLS certificates in Kubernetes
yurrriq/eks-charts
Amazon EKS Helm chart repository
yurrriq/envtpl
Render Go templates on the command line with shell environment variables
yurrriq/example-url-shortener
🔗 An example Gleam web application
yurrriq/gleam_elli
🍛 Respond to HTTP requests with Elli
yurrriq/helm-charts
Helm charts for Kubernetes curated by Kiwigrid
yurrriq/helm-cilium
yurrriq/helmfile
Deploy Kubernetes Helm Charts
yurrriq/iCalendar
iCalendar data types, parser, and printer.
yurrriq/Idris-dev
A Dependently Typed Functional Programming Language
yurrriq/k8s-charts
Curated applications for Kubernetes
yurrriq/kube-resource-report
Report Kubernetes cluster and pod resource requests vs usage and generate static HTML
yurrriq/lab
Deprecated in favor of https://zaquestion.github.io/lab
yurrriq/learning-mcrl2
yurrriq/lfe
Lisp Flavoured Erlang (LFE)
yurrriq/lightyear
Parser combinators for Idris
yurrriq/lorri
Your project's nix-env
yurrriq/noweb_ls
The Noweb Language Server Protocol Implementation
yurrriq/openmusictheory.github.io
A growing, online "textbook" for music theory and aural skills
yurrriq/sr-nur-packages
A template for NUR repositories: [maintainer=@fgaz]
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/yamldiff
A CLI tool to diff two YAML files.