Minimalistic media card for Home Assistant Lovelace UI
Interactive Coq Proofs in Vim
Plotly Dash components based on Mantine React Components
A command-line tool to generate, analyze, convert and manipulate colors
Open-source implementation of JPEG2000 Part-15 (or JPH or HTJ2K)
FrogPilot is a fully open-source, frog-themed, and highly customizable fork of openpilot, built with clean commits and a strong focus on serving the community. Shaped by both user and developer contributions, FrogPilot embraces collaborative, community-driven development to deliver a cutting-edge openpilot experience for everyone!
CLI tool to sync a Navidrome DB with data from a MusicBee DB (playcounts, ratings, loved tracks, last played date...)
Android application for running Windows applications with Wine and Box86/Box64
A comprehensive web-based interface for managing Samba file sharing on Linux systems. This project provides a user-friendly GUI to configure and manage Samba shares, users, groups, and global settings without needing to edit configuration files directly.
Async Python library implementing the Sendspin Protocol.
GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)
A powerful cross-platform port management tool for developers. Monitor ports, manage Kubernetes port forwards, integrate Cloudflare Tunnels, and kill processes with one click.
Boot an nds file
Cross platform code coverage for .NET
Quickly navigate your Filament pages
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/