jdbaldry

go-language-server-protocol

Advent-of-Code-2021

Advent calendar of small programming puzzles for a variety of skill sets and skill levels that can be solved in any programming language you like.

charts

MinIO Helm Charts

cortex

A horizontally scalable, highly available, multi-tenant, long term Prometheus.

deck-of-cards

Solving https://www.theguardian.com/science/2021/jun/14/did-you-solve-it-ace-of-spades in MIT scheme

dotfiles

🏠

git-mtimes

Proof-of-concept for storing and restoring mtimes in git

go-jsonnet

google-sheets-datasource

Load Google Sheets in grafana

helm-charts

jsonnet-mode

Emacs major mode for editing Jsonnet files.

jsonnet-prototype

An approach to writing Jsonnet libraries that provides easier inspection by an end-user.

jsonrpc2

An (experimental) implementation of JSON-RPC 2.0.

jsonrpc2_v2

k8s

Experimental Jsonnet Kubernetes library

kooky

Go code to read cookies from browser cookie stores.

lisp-levenshtein

markdownlint

Markdown lint tool

mobile-nixos

nand2tetris

Building a Modern Computer from First Principles (http://www.nand2tetris.org/)

nixpkgs-k6

nixpkgs-microsocks

Basic Nix flake for https://github.com/rofl0r/microsocks

nixpkgs-snowball

tanka

Flexible, reusable and concise configuration for Kubernetes

test-github-node-ids

thanos

Highly available Prometheus setup with long term storage capabilities. A CNCF Incubating project.

TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

tools

[mirror] Go Tools

vivosport

Hacked together ingestion of Vivosport FIT files into Postgresql so they can be visualized with Grafana.

whatsapp-for-linux

An unofficial WhatsApp desktop application for Linux.