Starred repositories
💖🧸 Self hosted, you owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…
A high-performance algorithmic trading platform and event-driven backtester
Lean 4 programming language and theorem prover
12 Weeks, 24 Lessons, AI for All!
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
The easiest, most secure way to use WireGuard and 2FA.
Mathematical Components compliant Analysis Library
Scrapy, a fast high-level web crawling & scraping framework for Python.
Xray, Penetrates Everything. Also the best v2ray-core. Where the magic happens. An open platform for various uses.
Karabiner-Elements is a powerful tool for customizing keyboards on macOS
The official repository of Mozilla's Firefox web browser.
[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero
Everything you need to extend Raycast.
一本 GPT4 生成的单词书📚，超过 8000 个单词分析，涵盖了词义、例句、词根词缀、变形、文化背景、记忆技巧和小故事
A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience
A terminal workspace with batteries included
PlayStation 4 emulator for Windows, Linux and macOS written in C++
Generate audiobooks from e-books, voice cloning & 1107+ languages!
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
Proofs in Coq for the book Reflective Programs in Tree Calculus
Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
Get your documents ready for gen AI
Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.