A Proof-oriented Programming Language
This solution leverages AWS Trusted Advisor and Service Quotas to monitor AWS resource usage and raise alerts.
Put your wardrobe in rows. Self-hosted AI-powered wardrobe management app.
Self-hosted *arr companion for controlled missing, cutoff, and upgrade searches.
AeroFTP is a Cross-platform desktop client for FTP, FTPS, SFTP, WebDAV, S3-compatible storage, GitHub, and Cloud providers, built with Rust 🦀 (Tauri) + React
EmDash is a full-stack TypeScript CMS based on Astro; the spiritual successor to WordPress
A fast type checker and language server for Python
On-screen aware AI assistant for your desktop. Uses current app context, multiple LLMs, and MCP tools to help you act across apps.
OpenAL Soft is a software implementation of the OpenAL 3D audio API.
Drop a container. Your stack is monitored.
An open-source OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.
Browser fingerprinting tools for anonymizing your scrapers. Developed by Apify.
Feature-rich manipulation of UI elements on macOS with minimal key strokes.
Services for relaying Avalanche ICM messages between L1s
📑 Collabora Online for Nextcloud
Advanced Xray Panel Support Multi Protocols, Based on MHSanaei/3x-ui Focusing on Stability
Generate custom gridfinity bins with AI, from photos of your tools