A curated list of awesome things related to learning Binius

We present Poseidon2b, a binary hardware friendly version of Poseidon2. It is designed to work together with binary extension field proving systems such as Binius.

Hard Disk Idle Spin-Down Utility

Binary Proofs, Blazing Fast

Beautiful and reliable typst code formatter

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

A markup-based typesetting system that is powerful and easy to learn.

Self-hosted collection of powerful web-based tools for everyday tasks. No ads, no tracking, just fast, accessible utilities right from your browser!

The web version of Tidal running in electron with hifi support thanks to widevine.

Chromium fork named after radioactive element No. 90. Windows and MacOS/Raspi/Android/Special builds are in different repositories, links are towards the top of the README.md.

A cross-platform, free and open source music player for Jellyfin, powered by React Native

Script that organizes the Google Takeout archive into one big chronological folder

The definitive all-in-one SnapRAID script on Linux. Diff, sync, scrub are things of the past. Manage SnapRAID and much, much more!

The Network UPS Tools repository. UPS management protocol Informational RFC 9271 published by IETF at https://www.rfc-editor.org/info/rfc9271 Please star NUT on GitHub, this helps with sponsorships!

Optional tools to help manage data in a mergerfs pool

a featureful union filesystem

A backup program for disk arrays. It stores parity information of your data and it recovers from up to six disk failures

ASN generator - a tool to create ASN labels

XLibre Xserver

QR Code Label Generator for ASNs in Paperless-ngx

A golang implementation of endlessh (SSH tarpit) exporting Prometheus metrics, visualized by a Grafana dashboard.

Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11

A black hole for Internet advertisements

High performance self-hosted photo and video management solution.

📇 Contacts app for Nextcloud

📦 The official Nextcloud installation method. Provides easy deployment and maintenance with most features included in this one Nextcloud instance.

A simple server for sending and receiving messages in real-time per WebSocket. (Includes a sleek web-ui)

UPnP Media Server for 2025: Stream your digital media through your home network and consume it on all kinds of UPnP supporting devices 📱💻📺

🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

A list of Free Software network services and web applications which can be hosted on your own servers