Percona Server is a fork of the MySQL relational database management system created by Percona.
Your day, at a glance
CPU-X is a Free software that gathers information on CPU, motherboard and more
A small set of data formatting utilities for Kotlin Multiplatform (KMP).
Pure-Go implementation of JSONata 2.x for high-throughput streaming evaluation
KOSyncthing+ embeds a fully managed Syncthing daemon inside KOReader, with a polished menu, automatic Wi‑Fi handling, conflict resolution, and a plugin API. Works on Kindle, Kobo, Android and others.
Golang implementation of Fast Finality for Filecoin (F3)
Special purpose PowHSM firmware for the RSK PowPeg.
A Python and Command-Line Interface to Archive.org
Automated OpenWrt mesh/fabric builder for generating router configs, images, and deployment scripts.
The repository is a build of Nginx with Google PageSpeed module activated.
⚡️A native, local-first alternative to Logitech Options+, written in Rust 🦀 — remap buttons, DPI, and SmartShift over HID++. No account, no telemetry.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
