Cairo is the first Turing-complete language for creating provable programs for general computation.
Continuous Integration to create Discord AppImages directly from source
The dbt-native data observability solution for data & analytics engineers. Monitor your data pipelines in minutes. Available as self-hosted or cloud service with premium features.
EcoFlow Cloud Integration for Home Assistant
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
Microsoft Authentication Library (MSAL) for iOS and macOS
A library for manipulating block devices.
Rust bindings of GTK 4
The all-in-one Vite plugin for React projects.
uBlock Origin filter list to hide YouTube Shorts
Like Manus, Computer Use Agent(CUA) and Omniparser, we are computer-using agents.AI-driven local automation assistant that uses natural language to make computers work by themselves
Docker tooling for OpenResty
A native Android app for Lemmy
Validate and Run GitHub Actions locally.
PHP Secure Communications Library
A command line program to download Hentai videos and images from multiple websites
A simple CLI tool to help you remember terminal commands
An agent to enable remote management of your EC2 instances, on-premises servers, or virtual machines (VMs).
Official PHP SDK for QuickBooks REST API v3.0: https://developer.intuit.com/
Kubernetes Cloud Provider for vSphere https://cloud-provider-vsphere.sigs.k8s.io
Do math, quickly 🚀 - A keyboard-first calculator for Windows