yurrriq Goto Github PK

idris2-erlang

Erlang code generator for Idris 2

idris2048

2048 in Idris

impure-hygienic-combinators

ingress-nginx

NGINX Ingress Controller for Kubernetes

intro-to-fp-through-lambda-calculus

Working through the exercises in An Introduction to Functional Programming Through Lambda Calculus.

intro-to-graph-theory

:book: Working through "Introduction to Graph Theory" by Richard J. Trudeau

iris-floss

Open source blue light reduction software for Linux X11

iweb

Maybe eventually a spiritual port of noweb to Idris.

java8inaction

jiface

A Clojure-idiomatic wrapper around Erlang's JInterface

jsonresume-theme-stackoverflow

Stack Overflow theme for JSON Resume

jungerl

The Jungle of Erlang code

k8s-aws-ebs-tagger

A utility to tag AWS EBS volumes based on a Kubernetes PVC annotation

k8s-charts

Curated applications for Kubernetes

k8s-viz

Visualize what's happening in you Kubernetes cluster

kanban.bash

commandline asciii kanban board for minimalist productivity bash hackers (csv-based)

kerl

Easy building and installing of Erlang/OTP instances

kiwi

kjell

Erlang Shell

kjell-extensions

Extensions for kjell

kla

An LFE Wrapper Library used to Dress Up Erlang Libraries in a Lispy Costume

knoweb

Enhancement of noweb.sty, a LaTeX style package for formatting noweb source

knrc

:book: In which I work through exercises in "The C Programming Language" by Brian W. Kernighan and Dennis M. Ritchie

kops

Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management

kotlin-koans

Kotlin workshop

kube-resource-report

Report Kubernetes cluster and pod resource requests vs usage and generate static HTML

kubectx

Fast way to switch between clusters and namespaces in kubectl – [✩Star] if you're using it!

kuberhealthy

A Kubernetes operator for running synthetic checks as pods. Works great with Prometheus!

kuberl

Erlang Kubernetes client

kubernetes-logging-syslog

Docker image that forwards Kubernetes pod logs to syslog