Mathematics of Robotic Manipulation using Rocq and MathComp
Private photo vault for Android
Percona Toolkit: a collection of advanced open source command-line tools.
Easy file sharing with server-side encryption, curl/httpie/wget compliant
Mod for FS25. Please download latest release below.
A universal electric meter data converter (emulator)
A modern Laravel Admin Panel built with Vue 3, Inertia.js, and AI capabilities. Inspired by Filament but powered by the frontend.
Wallper App brings you the best dynamic live wallpapers in one place. Elevate your desktop experience with performance and elegance.
AI Elements is a component library and custom registry built on top of shadcn/ui to help you build AI-native applications faster.
Python package to access a cacophony of neuro-imaging file formats
Home Assistant Integration for Levition LDATA and LWHEM
This strongly-typed, client library enables working with Elasticsearch. It is the official client maintained and supported by Elastic.
Browser plugin for Linux to SSO on Microsoft Entra ID using a locally running microsoft identity broker (Intune).
This extension adds a button in the footer of each entry. Clicking this button will mark all previous entries as read. The goal is, when going through a very long list of entries without reading them all, to be able to stop and continue later.
Jodit - Best WYSIWYG Editor for You
📱 Intercom for iOS, for integrating Intercom into your iOS application.