Repositories

A Tool to Redirect News, Search, Widgets, Weather and More to Your Default Browser

Zammad is a web based open source helpdesk/customer support system.

Quantization, kernels, runtime and inference engine for mobiles, wearables, smart home and robots.

Free, open-source macOS cleaner. CleanMyMac alternative with zero telemetry. Native SwiftUI, scheduled auto-cleaning, Xcode/Homebrew/system cache cleanup. MIT licensed.

A procedural textures authoring and 3D model painting tool based on the Godot game engine

Manage your macOS using Nix

The best enterprise-grade WYSIWYG editor. Fully customizable with countless features and plugins.

MoltenVK is a Vulkan Portability implementation. It layers a subset of the high-performance, industry-standard Vulkan graphics and compute API over Apple's Metal graphics framework, enabling Vulkan applications to run on macOS, iOS and tvOS.

A small, fast, and embeddable programming language based on Lua with a gradual type system.

Compiler for the C3 language

Windows/macOS/Linux GUI client for GIT users

AI-assisted TradingView chart analysis — connect Claude Code to your TradingView Desktop for personal workflow automation

🤖 Dependabot's core logic for creating update PRs.

Browser compatibility data for Web technologies as displayed on MDN

Easy interactive web applications with R

Godot Engine official documentation

这是一个Mac/Windows聚合App，聚合常见电视/视频/音乐/小说。比如CCTV中央电视台直播免费观看, 爱奇艺、腾讯视频、芒果视频、优酷视频付费电影，VIP会员剧等免费观看，bilibili、美剧、韩剧、日剧、网易云音乐、腾讯音乐、酷狗音乐、喜马拉雅、起点、七猫、有声小说等

250+ Fine-tuning & RL Notebooks for text, vision, audio, embedding, TTS models.

Task manager with Todoist, Nextcloud & CalDAV support designed for GNOME

Rust 程序设计语言（2024 edition 施工完毕）

Inno Setup is an open-source installation builder for Windows applications by Jordan Russell and Martijn Laan. Since its introduction in 1997, Inno Setup has been trusted by developers and organizations of all sizes to reliably deploy software to millions of PCs worldwide.

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.

收集一些Loon、Surge、QuantumultX、ShadowRocket、Egern的配置与去广告规则。

A Hardware Hacking Tool with Web-Based CLI That Speaks Every Protocol

Free and open-source macOS menu bar toolkit.

个人发卡源码，发卡系统，二次元发卡系统，二次元发卡源码，发卡程序，动漫发卡，PHP发卡源码，异次元发卡

Where the GPU for the Web work happens!

Unison file synchronizer

Visualize, collaborate, and evolve the software architecture with always actual and live diagrams from your code

Argon is a clean and tidy OpenWrt LuCI theme that allows users to customize their login interface with images or videos. It also supports automatic and manual switching between light and dark modes.

Uninstall Microsoft Edge with an executable or batch script.

Offline build planner for Path of Exile.

The open source control plane for agentic engineering.

A flexible enhancer for YouTube on iOS

Telegram for Windows

The firmware for the HackRF+PortaPack H1/H2/H4/H4M

Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-module-cheat#userland-assembly ARM baremetal setup at: https://github.com/cirosantilli/linux-kernel-module-cheat#baremetal-setup 学习x86系统编程的数十个最小操作系统。 已在QE…

A real WinUI desktop cleaner with terminal control and multi-database support

The world's first open-source AI-native vector design tool and the first to feature concurrent Agent Teams. Design-as-Code. Turn prompts into UI directly on the live canvas. A modern alternative to Pencil.

A Material 3 Music Player for Android with local file & YouTube Music support. Forked from InnerTune

A distraction-free and highly customizable theme for Obsidian.

ML-powered manga translator, written in Rust.

Lightweight yet powerful formatter plugin for Neovim

Your next YouTube media manager

Android Remote Administration Tool

High Performance Open Source Radio Control Link

"Das U-Boot" Source Tree

An open source quadruped robot pet framework for developing Boston Dynamics-style four-legged robots that are perfect for STEM, coding & robotics education, IoT robotics applications, AI-enhanced robotics application services, research, and DIY robotics kit development.

Summaries and resources for Designing Machine Learning Systems book (Chip Huyen, O'Reilly 2022)

Neo4j graph construction from unstructured data using LLMs