Ringboard—the clipboard manager for Linux

minimal Redis client for Lean

WebRTC performance and quality evaluation tool.

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

A mock code autogenerator for Go

Code Generation with a human touch

Horizontally Scalable Kubernetes Controllers: distribute reconciliation of Kubernetes objects across multiple controller instances

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

OWASP Coraza WAF is a golang modsecurity compatible web application firewall library

Kubernetes controller that enables timed resource deletion using TTL annotation

A command-line interface to manage STACKIT resources

The STACKIT SDK for Go

Helm plugin to fetch all possible images from the chart before deployment or from a deployed release

portmidi is a cross-platform MIDI input/output library

Library for reading and writing of MIDI messages and MIDI files (SMF) with Go

A set of C++ classes that provide a common API for realtime MIDI input/output across Linux (ALSA & JACK), Macintosh OS X (CoreMIDI) and Windows (Multimedia)

An interactive Kubernetes log viewer for your terminal.

The official Terraform provider for STACKIT

A Kubernetes web UI that is fully-featured, user-friendly and extensible

Simple changelog generator from GitHub releases

A high performance layer 4 load balancer

Terminal disk space navigator 🔭

REST'ful web framework in Agda

Browser extension that generates API specs for any app or website

A FAST Kubernetes manifests validator, with support for Custom Resources!

Static code analysis tool to find unsafe usages in Go packages and their dependencies

Prometheus/OpenMetrics endpoint series generator for load testing.

Lean 4 kernel / 'external checker' written in Lean 4