Stars
The cross-platform open-source app built for handwriting
Printable (A4) overview of tactics in Lean 4 for beginners
These are policy-driven snapshot management and replication tools which use OpenZFS for underlying next-gen storage. (Btrfs support plans are shelved unless and until btrfs becomes reliable.)
Weighs the soul of incoming HTTP requests to stop AI crawlers
Cloud replacement for vacuum robots enabling local-only operation
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
Die LaTeX-Vorlage der Algo-Gruppe der TU Darmstadt - für FoP und AuD
AES67 Linux Daemon with configuration WebUI
NixOS modules to aid in configuring NixOS for raspberry pi products
The original owner of the Material UI theme for VS Code is grumpy, so I made a version you are safe to use as you please :)
An idiomatic ZIO client for the Kubernetes API.
Kubernetes client, data models and typesafe manifest generation for scala, scalajs, and scala native
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
This GIT repo (C language) holds applications and utilities for the Behringer X32 and M32 mixing consoles. Additional details, documentation, implementation examples and apps can be found in my web…
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
A Kubernetes Operator that automates the deployment of Pulumi Stacks
OpenTofu lets you declaratively manage your cloud infrastructure.
Pulumi - Infrastructure as Code in any programming language 🚀
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
A minimal and aesthetically pleasing highlighting menu that makes color-coded highlighting much easier 🎨.
Free and Open Source Enterprise Resource Planning (ERP)
Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.
Cross-platform CLI control of Dante network audio devices without Dante Controller