Stars
Multi-platform GPGPU computations with Scala, seamlessly 🚀
TUI client for Switzerland's public transport timetables, inspidered by the SBB/CFF/FFS app
A markup-based typesetting system that is powerful and easy to learn.
Typst package for drawing diagrams with arrows, built on top of CeTZ.
Relative positioning by pins, especially useful for making slides in typst.
Lean 4 programming language and theorem prover
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