Nix Packages collection & NixOS

AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs

No Nonsense Neovim Client in Rust

🌸 A command-line fuzzy finder

The modern video player for macOS.

Surge模块 脚本 module sgmodule 面板 规则 分流 破解 解锁

Fcitx5 macOS edition 小企鹅输入法 https://t.me/fcitx5macos qq: 874450150

万象拼音：基于rime生态打造，全方位对标大厂体验，内置大语料与AI辅助炼制的向量词库和语法模型，全带调编码词库，让输入行云流水，开箱即用。更有PRO版带来辅助码创新体验，支持7种辅助码。集成超级注释、候选反查筛选、快符、手动排序、tips等特色扩展功能，让你保证大厂体验的同时，深度享受 Rime 超强自定义的便利。详见README。Q群：11033572满 / 11631066

Menu bar manager for macOS 26

The ultimate space for work and life — to find, build, and collaborate with agent teammates that grow with you. We are taking agent harness to the next level — enabling multi-agent collaboration, e…

An extremely fast Python linter and code formatter, written in Rust.

⛷ Lightweight Markdown app to help you write great sentences.

Vim-fork focused on extensibility and usability

一个简洁优雅的词典翻译 macOS App。开箱即用，支持离线 OCR 识别，支持有道词典，🍎 苹果系统词典，🍎 苹果系统翻译，OpenAI，Gemini，DeepL，Google，Bing，腾讯，百度，阿里，小牛，彩云和火山翻译。A concise and elegant Dictionary and Translator macOS App for looking up words an…

Mihomo Dashboard, The Official One, XD

Get up and running with Kimi-K2.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

Lean 4 programming language and theorem prover

🩵 A free, open-source app store for GitHub releases — browse, discover, and install apps with one click. Powered by Kotlin and Compose Multiplatform for Android & Desktop (Linux, MacOS, Windows).

Just like TextEdit on Mac but dedicated to Markdown.

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS

🎨 Base16 color schemes for sioyek

Glamourous agentic coding for all 💘

🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序，使用 Gin 和 Solidjs。

The Swift Programming Language

Make your workflow more efficient with MacsyZones. Organize your windows with ease. https://macsyzones.com

Collection of publicly available IPTV channels from all over the world

Neovim support for the Lean theorem prover

The fastest and the most accurate file search toolkit for AI agents, Neovim, Rust, C, and NodeJS

Curated list of chatgpt prompts from the top-rated GPTs in the GPTs Store. Prompt Engineering, prompt attack & prompt protect. Advanced Prompt Engineering papers.