camelpunch

roguedris

A Roguelike playground in Idris

andrewbrucenet

A bad website

card-ssh

Use a GPG smartcard for SSH in an environment that doesn't want you to

nixos

nixos config for my main workstation

nvim

.emacs.d

aoc

argo-cd

Declarative continuous deployment for Kubernetes.

cf-app-sd-release

Service Discovery for CloudFoundry

cldr_plugs

Plugs for Elixir CLDR

colmena-repro

docs-dev-guide

Documentation for application developers who want to deploy their applications to Cloud Foundry

gitlib

idris-random-fail

A Control.ST.Random and FFI program that crashes Idris 1.3

idris-web-server

A node-based web server library for Idris

k3s

Lightweight Kubernetes

k8s-create-secret

GitHub Action to create Kubernetes cluster secrets

kubernetes-mixin

A set of Grafana dashboards and Prometheus alerts for Kubernetes.

kubo-deployment

Contains scripts and configuration files used to build and deploy Kubo (Kubernetes on Bosh)

locale_repro

loggerinner

mrk

Towards proven-valid HTML generation

nist-data-mirror

A simple Java command-line utility to mirror the CVE XML and JSON data from NIST.

nixpkgs

Nix Packages collection

oci-build-task-repro

Repro for a sitch with recent jboss/keycloak images

phoenix_live_view

Rich, real-time user experiences with server-rendered HTML

postcss

Transforming styles with JS plugins

spruce

A BOSH template merge tool

traefik

The Cloud Native Edge Router

vim-config

This editor looks popular n stuff