Showing 841-860 of 1,352 projects
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
Cross-platform input simulation library in Rust for automating keyboard and mouse interactions.
Ruby gems for general-purpose AI agent systems: automation, research, data processing, customer support, and content creation.
A Python-based desktop AI assistant that integrates with various LLMs and AI tools for coding, task automation, and more.
An automated insulin delivery app for iOS, built on the LoopKit framework for diabetes management.
Automated machine learning for analytics & production use cases powered by popular ML libraries.
MLRun is an open-source MLOps platform for building and managing continuous ML applications.
A TypeScript library that enables developers to manage their GitHub projects and portfolios from a single place.
An automated time-series outlier detection system built with Python for anomaly detection and autoML.
An action that manages a GitHub release, allowing developers to automate their release process.
Powerful CI/CD server with high availability, parallel processing, and auto-scaling for DevOps teams.
Automates WordPress development workflow with Docker, Gulp, and other tools.
A simple git hooks manager that helps developers automate common pre-commit and pre-push tasks.
An open-source visual regression testing platform for modern web development toolchains.
Automated testing suite for the Autobahn WebSocket protocol
A Python tool to scan binaries for known vulnerabilities and generate software bill of materials (SBOM).
Android app to create home screen shortcuts that trigger arbitrary HTTP requests and more
A collection of automated and manual wordlists for content discovery and bruteforcing.
A TypeScript library that allows adding custom CSS styles to Lovelace cards in Home Assistant, a popular home automation platform.
A multithreaded Python script that provides automated YouTube view bot functionality.
Get weekly updates on trending AI coding tools and projects.