Stars
Export iMessage data + run iMessage Diagnostics
Lean 4 programming language and theorem prover
Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support
🎨 Diagram as Code for prototyping cloud system architectures
Prettier is an opinionated code formatter.
A Raspberry Pi based multi-stage, multi-zone HVAC controller. Replace thermostats and control damper motors for up to two stages heat, two stages cooling, and three zones.
An environmental monitoring and regulation system
mango is a man-page generator for the Go flag, pflag, cobra, coral, and kong packages
Code for the manim-generated scenes used in 3blue1brown videos
Kubescape is an open-source Kubernetes security platform for your IDE, CI/CD pipelines, and clusters. It includes risk analysis, security, compliance, and misconfiguration scanning, saving Kubernet…
These notebooks are my walk-through analysis, (including visualization, polynomial regression and more), of some data regarding the growth of squares to be able to solve the puzzle of counting all …
A tool for automatically generating markdown documentation for helm charts
Azure Pipelines YAML examples, templates, and community interaction
Terragrunt Reference Architecture (upd: May 2020)
Jeff Geerling's Packer build configurations for Vagrant boxes.
Terraform provider to provision infrastructure with Linux's KVM using libvirt
Packer scripts to build a clean CentOS 7 AWS box
AWS Security Tools (AST) in a simple Docker container. 📦
Example of a persistent firewall based on systemd for Debian Jessie.
Go package to simulate bandwidth, latency and packet loss for net.PacketConn and net.Conn interfaces
Collection of Go packages for working with the http.FileSystem interface.