Emdash is the Open-Source Agentic Development Environment (🧡 YC W26). Run multiple coding agents in parallel. Use any provider.
Markdown memory system for you and your AI agent
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
基于RSS自动追番、订阅、下载、刮削
The open source research environment for AI researchers to seamlessly train, evaluate, and scale models from local hardware to GPU clusters.
Filament plugin that adds better radio and checkbox options in forms components.
Automated Tailscale updater for GL.iNet routers: periodically checks for new releases, downloads the correct build, and installs/updates Tailscale reliably via script (for OpenWrt/GL.iNet firmware)
TypeScript/JavaScript SDK for Gemini and Vertex AI.
A modular command-driven automation platform for self-hosted music workflows. Cmdarr integrates Lidarr, Plex, and Jellyfin with music services like Last.fm, MusicBrainz, and ListenBrainz to automate artist discovery, playlist synchronization, playlist generation, and more.
Minimalist image viewer based on Leaflet.js and Electron.
ConnectLife integration for Home Assistant
Self-hosted database backup manager with a web UI. Schedule, backup, and restore MySQL, PostgreSQL, MariaDB, MongoDB, SQLite & Redis to S3, SFTP, or local storage. SSH Tunnel support.
Source code for @newrelic docs. We welcome pull requests and questions on our docs!